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

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.
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. College Publications. pp. 288-301.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
A cut-free sequent system for two-dimensional modal logic, and why it matters.Greg Restall - 2012 - Annals of Pure and Applied Logic 163 (11):1611-1623.
A theory of hypermodal logics: Mode shifting in modal logic. [REVIEW]D. M. Gabbay - 2002 - Journal of Philosophical Logic 31 (3):211-243.
A Sahlqvist Theorem for Relevant Modal Logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
What is the correct logic of necessity, actuality and apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.
Actuality and the a priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.

Analytics

Added to PP
2020-07-04

Downloads
556 (#32,335)

6 months
193 (#14,959)

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. 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.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

View all 34 references / Add more references