- 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
Quantified modal logic on the rational line
Review of Symbolic Logic 7 (3):439-454 (2014)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Essentialism in quantified modal logic.Thomas J. McKay - 1975 - Journal of Philosophical Logic 4 (4):423 - 438.
Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown
The Modal Ontological Argument Meets Modal Fictionalism.Ted Parent - 2016 - Analytic Philosophy 57 (4):338-352.
Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.
Quantified modal logics of positive rational numbers and some related systems.Giovanna Corsi - 1993 - Notre Dame Journal of Formal Logic 34 (2):263-283.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
Analytics
Added to PP
2014-05-17
Downloads
39 (#406,659)
6 months
6 (#509,130)
2014-05-17
Downloads
39 (#406,659)
6 months
6 (#509,130)
Historical graph of downloads
Author's Profile
Citations of this work
First order S4 and its measure-theoretic semantics.Tamar Lando - 2015 - Annals of Pure and Applied Logic 166 (2):187-218.
Completeness of second-order propositional s4 and H in topological semantics.Philip Kremer - 2018 - Review of Symbolic Logic 11 (3):507-518.
References found in this work
A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.
Diodorean modality in Minkowski spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.
Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.
Multimo dal Logics of Products of Topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369 - 392.
Multimo dal logics of products of topologies.J. van Benthem, G. Bezhanishvili, B. ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369-392.
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-64dd777598-vk9kt uwo