- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Modal logics of closed domains on Minkowski plane ★
Journal of Applied Non-Classical Logics 17 (3):397-414 (2007)
Abstract
In this paper we study modal logics of closed domains on the real plane ordered by the chronological future relation. For the modal logic determined by an arbitrary closed convex domain with a smooth bound, we present a finite axiom system and prove the finite modal property.My notes
Similar books and articles
Logics with the universal modality and admissible consecutions.Rybakov Vladimir - 2007 - Journal of Applied Non-Classical Logics 17 (3):383-396.
Undecidability and Non-Axiomatizability of Modal Many-Valued Logics.Amanda Vidal - 2022 - Journal of Symbolic Logic 87 (4):1576-1605.
Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.
Expressivity in chain-based modal logics.Michel Marti & George Metcalfe - 2018 - Archive for Mathematical Logic 57 (3-4):361-380.
Canonicity in Power and Modal Logics of Finite Achronal Width.Robert Goldblatt & Ian Hodkinson - forthcoming - Review of Symbolic Logic:1-31.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Products of modal logics. Part 3: Products of modal and temporal logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
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.
Analytics
Added to PP
2013-12-23
Downloads
15 (#976,359)
6 months
15 (#185,276)
2013-12-23
Downloads
15 (#976,359)
6 months
15 (#185,276)
Historical graph of downloads
References found in this work
Diodorean modality in Minkowski spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.
Chronological Future Modality in Minkowski Spacetime.Ilya Shapirovsky & Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 437-459.
On PSPACE-decidability in Transitive Modal Logic.Ilya Shapirovsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 269-287.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-6mvtb uwo