On axiomatizing fragments

Journal of Symbolic Logic 42 (4):530-544 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271875

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,990

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: C. Smorynski, Self-Reference and Modal Logic. [REVIEW]George Boolos - 1988 - Journal of Symbolic Logic 53 (1):306-309.
Review: C. Smorynski, Nonstandard Models and Related Developments. [REVIEW]C. Dimitracopoulos - 1990 - Journal of Symbolic Logic 55 (2):875-876.
Axiomatizing the next-interior fragment of dynamic topological logic.Philip Kremer, Grigori Mints & V. Rybakov - 1997 - Bulletin of Symbolic Logic 3:376-377.
Craig Smoryński. Modal logic and self-reference. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 441–495. [REVIEW]Albert Visser - 1989 - Journal of Symbolic Logic 54 (4):1479-1480.
Axiomatizing Universal Properties of Quantifiers.Kees Doets - 1991 - Journal of Symbolic Logic 56 (3):901-905.
Axiomatizing the monodic fragment of first-order temporal logic.Frank Wolter & Michael Zakharyaschev - 2002 - Annals of Pure and Applied Logic 118 (1-2):133-145.

Analytics

Added to PP
2009-01-28

Downloads
42 (#507,737)

6 months
12 (#255,213)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.
The axiomatization problem for fragments.C. Smorynski - 1978 - Annals of Mathematical Logic 14 (2):193.

Add more citations

References found in this work

No references found.

Add more references