On Interpreting the S5 Propositional Calculus: an essay in philosophical logic
Dissertation, University of Iowa (1976)
| Abstract | Discusses alternative interpretations of the modal operators, for the modal propositional logic S5. | |||||||||
| Keywords | Logic, symbolic and mathematical Modality (Logic) Propositional calculus | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesSergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.
Igor Walukiewicz (1996). A Note on the Completeness of Kozen's Axiomatisation of the Propositional Μ-Calculus. Bulletin of Symbolic Logic 2 (3):349-366.
Wim Ruitenburg (1984). On the Period of Sequences (an(P)) in Intuitionistic Propositional Calculus. Journal of Symbolic Logic 49 (3):892 - 899.
Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
Aldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.
René Cori (2000). Mathematical Logic: A Course with Exercises. Oxford University Press.
Othman Qasim Malhas (1987). Quantum Logic and the Classical Propositional Calculus. Journal of Symbolic Logic 52 (3):834-841.
V. W. Marek (2009). Introduction to Mathematics of Satisfiability. Taylor & Francis.
A. A. Stoli͡ar (1984). Introduction to Elementary Mathematical Logic. Dover Publications.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
Analytics
Monthly downloads |
Added to index2010-03-07Total downloads20 ( #61,563 of 549,117 )Recent downloads (6 months)1 ( #63,361 of 549,117 )How can I increase my downloads? |
My notes
Discussion
