- 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
First order S4 and its measure-theoretic semantics
Annals of Pure and Applied Logic 166 (2):187-218 (2015)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Semantics for Two Second-Order Logical Systems: $\equiv$ RRC* and Cocchiarella's RRC.Max A. Freund - 1996 - Notre Dame Journal of Formal Logic 37 (3):483-505.
Hierarchies of measure-theoretic ultrafilters.Michael Benedikt - 1999 - Annals of Pure and Applied Logic 97 (1-3):203-219.
A Note on Identity and Higher Order Quantification.Rafal Urbaniak - 2009 - Australasian Journal of Logic 7:48--55.
Outline for a Truth-Conditional Semantics for Tense.Ernest Lepore & Kirk Ludwig - 2003 - In Quentin Smith & Aleksandar Jokic (eds.), Tense, Time and Reference. MIT Press. pp. 49-105.
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
Mass problems and measure-theoretic regularity.Stephen G. Simpson - 2009 - Bulletin of Symbolic Logic 15 (4):385-409.
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Concepts of Logical Consequence.Darcy Allen Cutler - 1997 - Dissertation, The University of Western Ontario (Canada)
Analytics
Added to PP
2015-08-28
Downloads
57 (#281,094)
6 months
6 (#520,776)
2015-08-28
Downloads
57 (#281,094)
6 months
6 (#520,776)
Historical graph of downloads
Author's Profile
Citations of this work
Hyperintensional Ω-Logic.David Elohim - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag. pp. 65-82.
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrews
References found in this work
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
Quantified modal logic on the rational line.Philip Kremer - 2014 - Review of Symbolic Logic 7 (3):439-454.
Topology and modality: The topological interpretation of first-order modal logic: Topology and modality.Steve Awodey - 2008 - Review of Symbolic Logic 1 (2):146-166.
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-5ff6c685cb-dmxst uwo