Review of Symbolic Logic 15 (1):101-132 (2022)
| Authors |
|
| 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.
|
| Keywords | Modal Logic Multidimensional Modal Logic Epistemic Logic A priori Actuality Necessity Completeness Decidability |
| Categories | (categorize this paper) |
| Reprint years | 2022 |
| DOI | 10.1017/s1755020320000325 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
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.
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
Two Notions of Necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.
Epistemic Two Dimensional Semantics.David J. Chalmers - 2004 - Philosophical Studies 118 (1-2):153-226.
View all 34 references / Add more references
Citations of this work BETA
No citations found.
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.
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.
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.
Modal Sequents for Normal Modal Logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Analytics
Added to PP index
2020-07-04
Total views
153 ( #76,278 of 2,504,809 )
Recent downloads (6 months)
36 ( #25,075 of 2,504,809 )
2020-07-04
Total views
153 ( #76,278 of 2,504,809 )
Recent downloads (6 months)
36 ( #25,075 of 2,504,809 )
How can I increase my downloads?
Downloads
