The Logic of Sequence Frames

Review of Symbolic Logic 15 (1):101-132 (2022)
  Copy   BIBTEX

Abstract

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

Categories

Keywords

Reprint years

DOI

10.1017/s1755020320000325

Other Versions

No versions found

Links

PhilArchive

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

Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 2018 - Erkenntnis 83 (3):403-443.
Completeness results for some two-dimensional logics of actuality.David R. Gilbert & Edwin D. Mares - 2012 - Review of Symbolic Logic 5 (2):239-258.
Modal Logics for Integral Spacetime.John F. Phillips - 1999 - Dissertation, The University of Wisconsin - Madison
Undecidability and Non-Axiomatizability of Modal Many-Valued Logics.Amanda Vidal - 2022 - Journal of Symbolic Logic 87 (4):1576-1605.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.
Modal logics of succession for 2-dimensional integral spacetime.John F. Phillips - 2001 - Journal of Philosophical Logic 30 (1):1-25.
Non-finitely axiomatisable two-dimensional modal logics.Agi Kurucz & Sérgio Marcelino - 2012 - Journal of Symbolic Logic 77 (3):970-986.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Modal completeness of sublogics of the interpretability logic IL.Taishi Kurahashi & Yuya Okawa - 2021 - Mathematical Logic Quarterly 67 (2):164-185.

Analytics

Added to PP
2020-07-04

Downloads
867 (#26,177)

6 months
163 (#24,644)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Fabio Lampert
University of Vienna

Citations of this work

No citations found.

Add more citations

References found in this work

Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. New York: Oxford University Press. pp. 481-563.
Epistemic Two-Dimensional Semantics.David J. Chalmers - 2004 - Philosophical Studies 118 (1-2):153-226.
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Demonstratives.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. New York: Oxford University Press. pp. 481--563.

View all 33 references / Add more references