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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

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

Montague Richard. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 153–167. [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.
Non-finite-axiomatizability results in algebraic logic.Balázs Biró - 1992 - Journal of Symbolic Logic 57 (3):832 - 843.
Montague R.. Semantical closure and non-finite axiomatizability I. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 45–69. [REVIEW]G. Hasenjaeger - 1964 - Journal of Symbolic Logic 29 (1):59-60.
Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
Finite Axiomatizability of Transitive Modal Logics of Finite Depth and Width with Respect to Proper-Successor-Equivalence.Yan Zhang & X. U. Ming - 2024 - Review of Symbolic Logic 17 (4):951-964.
Finite axiomatizability for equational theories of computable groupoids.Peter Perkins - 1989 - Journal of Symbolic Logic 54 (3):1018-1022.
Semantical Closure and Non-Finite Axiomatizability I.R. Montague - 1964 - Journal of Symbolic Logic 29 (1):59-60.
The Consistency of Syntactical Treatments of Knowledge.Hector J. Levesque - 1988 - Journal of Symbolic Logic 53 (2):665-666.
Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols.S. C. Kleene, W. Craig & R. L. Vaught - 1971 - Journal of Symbolic Logic 36 (2):334-335.

Analytics

Added to PP
2015-02-05

Downloads
173 (#137,830)

6 months
13 (#267,677)

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.
How truthlike can a predicate be? A negative result.Vann McGee - 1985 - Journal of Philosophical Logic 14 (4):399 - 410.

View all 77 citations / Add more citations

References found in this work

No references found.

Add more references