Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability

Journal of Symbolic Logic 40 (4):600-601 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1975

DOI

10.2307/2271809

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,705

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

Review: Richard Montague, Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):600-601.
A theorem concerning syntactical treatments of nonidealized belief.Charles B. Cross - 2001 - Synthese 129 (3):335 - 341.
Finite replacement and finite hilbert‐style axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Mathematical Logic Quarterly 38 (1):327-344.
A note on syntactical treatments of modality.Richmond H. Thomason - 1980 - Synthese 44 (3):391 - 395.
Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.
Review: S. C. Kleene, Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols; W. Craig, R. L. Vaught, Finite Axiomatizability Using Additional Predicates. [REVIEW]Mihaly Makkai - 1971 - Journal of Symbolic Logic 36 (2):334-335.
On intermediate predicate logics of some finite Kripke frames, I. levelwise uniform trees.Dmitrij Skvortsov - 2004 - Studia Logica 77 (3):295 - 323.
Syntactical Treatments of Propositional Attitudes.Michael Morreau & Sarit Kraus - 1998 - Artificial Intelligence 106 (1):161-177.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
Semantical Closure and Non-Finite Axiomatizability I.R. Montague - 1964 - Journal of Symbolic Logic 29 (1):59-60.
Review: R. Montague, Semantical Closure and Non-Finite Axiomatizability I. [REVIEW]G. Hasenjaeger - 1964 - Journal of Symbolic Logic 29 (1):59-60.
A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi.Wojciech Zielonka - 1989 - Studia Logica 48 (1):35 - 39.
Finite schematizable algebraic logic.I. Sain & V. Gyuris - 1997 - Logic Journal of the IGPL 5 (5):699-751.
Vaught's theorem on axiomatizability by a scheme.Albert Visser - 2012 - Bulletin of Symbolic Logic 18 (3):382-402.
Axiomatizability of finite matrices.Wladyslaw Szczech - 1973 - Bulletin of the Section of Logic 2 (2):118-120.

Analytics

Added to PP
2015-02-05

Downloads
155 (#124,903)

6 months
18 (#152,813)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.
Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.

View all 80 citations / Add more citations

References found in this work

No references found.

Add more references