Canonicity in Power and Modal Logics of Finite Achronal Width

&
Review of Symbolic Logic:1-31 (forthcoming)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

DOI

10.1017/s1755020323000060

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
Simulating polyadic modal logics by monadic ones.George Goguadze, Carla Piazza & Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):419-462.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
Canonical naming systems.Leon Horsten - 2004 - Minds and Machines 15 (2):229-257.
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.
Syntactic Refutations against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.
Substitution Frege and extended Frege proof systems in non-classical logics.Emil Jeřábek - 2009 - Annals of Pure and Applied Logic 159 (1-2):1-48.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
The modal logic of the countable random frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
On modal logics between K × K × K and s5 × s5 × S.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.
On modal logics between K × K × K and S5 × S5 × S5.Robin Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
On modal logics between K × K × K and $s5 \times s5 \times s5$.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221 - 234.
Modal logics of closed domains on Minkowski plane ★.Ilya Shapirovsky - 2007 - Journal of Applied Non-Classical Logics 17 (3):397-414.

Analytics

Added to PP
2023-03-24

Downloads
7 (#1,387,247)

6 months
5 (#639,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.
Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.

View all 18 references / Add more references