A formalization of the modal propositional S4 calculus

Studia Logica 27 (1):133-147 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02282568

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
The diagrams of formulas of the modal propositional S4* calculus.Anita Wasilewska - 1972 - Studia Logica 30 (1):69-76.
The Diagrams of Formulas of the Modal Propositional $\text{S}4^{\ast}$ Calculus.Anita Wasilewska - 1972 - Studia Logica 30 (1):69-78.
Compatible Functions in Algebras Associated to Extensions of Positive Logic.Rodolfo Ertola, Adriana Galli & Marta Sagastuma - 2007 - Logic Journal of the IGPL 15 (1):109-119.
Review: Arata Ishimoto, A Note on the Paper "A Set of Axioms of the Modal Propositional Calculus Equivalent to S3."; Arata Ishimoto, A Formulation of the Modal Propositional Calculus Equivalent to S4. [REVIEW]A. N. Prior - 1957 - Journal of Symbolic Logic 22 (3):326-327.
Review: Charles E. Caton, A Stipulation of Logical Truth in a Modal Propositional Calculus; Charles E. Caton, A Stipulation of a Modal Propositional Calculus in Terms of Modalized Truth-Values. [REVIEW]Gerald J. Massey - 1974 - Journal of Symbolic Logic 39 (3):611-611.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
A Formalization of the C-0 Propositional Calculus.Alan Rose - 1952 - Journal of Symbolic Logic 17 (1):66-66.
A. the propositional calculus.Rudolf Carnap - 1959 - In Introduction to Semantics and Formalization of Logic. Harvard University Press. pp. 279-307.
A formalization of the propositional calculus of H-B logic.Cecylia Rauszer - 1974 - Studia Logica 33 (1):23 - 34.
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
A purely syntactic and cut-free sequent calculus for the modal logic of provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.

Analytics

Added to PP
2009-01-28

Downloads
26 (#592,813)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anita Wasilewska
State University of New York, Stony Brook

Citations of this work

Programs and logics.Anita Wasilewska - 1985 - Studia Logica 44 (2):125 - 137.

Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Symbolic logic.Clarence Irving Lewis - 1932 - [New York]: Dover Publications. Edited by Cooper Harold Langford.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

Add more references