DeepAI AI Chat

Canonicity in power and modal logics of finite achronal width

07/26/2022

∙

by Robert Goldblatt, et al.

∙

∙

We develop a method for showing that various modal logics that are valid in their countably generated canonical Kripke frames must also be valid in their uncountably generated ones. This is applied to many systems, including the logics of finite width, and a broader class of multimodal logics of `finite achronal width' that are introduced here.

Robert Goldblatt
2 publications
Ian Hodkinson
2 publications

page 1

page 2

page 3

page 4

∙ 11/20/2020

Goldblatt-Thomason Theorems for Modal Intuitionistic Logics

We prove Goldblatt-Thomason theorems for frames and models of a wide var...

0 Jim de Groot, et al. ∙

∙ 05/30/2019

Rules with parameters in modal logic II

We analyze the computational complexity of admissibility and unifiabilit...

0 Emil Jeřábek, et al. ∙

∙ 04/13/2023

Decidability of Querying First-Order Theories via Countermodels of Finite Width

We propose a generic framework for establishing the decidability of a wi...

0 Thomas Feller, et al. ∙

∙ 09/10/2018

Elementary Multimodal Logics

We study multimodal logics over universally first-order definable classe...

0 Jakub Michaliszyn, et al. ∙

∙ 04/02/2019

On Transitive modal many-valued logics

This paper is focused on the study of modal logics defined from valued K...

0 Amanda Vidal, et al. ∙

∙ 05/25/2021

Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages

We study the algorithmic properties of first-order monomodal logics of f...

0 Mikhail Rybakov, et al. ∙

∙ 03/17/2023

Decidability of modal logics of non-k-colorable graphs

We consider the bimodal language, where the first modality is interprete...

0 Ilya Shapirovsky, et al. ∙