Some Post-complete extensions of S2 and S3

Notre Dame Journal of Formal Logic 18:467 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888020

Other Versions

No versions found

Links

PhilArchive



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

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

Some extensions of $S3$.K. E. Pledger - 1975 - Notre Dame Journal of Formal Logic 16 (2):271-272.
Further extensions of S3.Ivo Thomas - 1973 - Notre Dame Journal of Formal Logic 14:423.
Algebraic semantics for $S2^0$ and necessitated extensions.R. Routley & Hugh Alexander Montgomery - 1976 - Notre Dame Journal of Formal Logic 17 (1):44-58.
Remarks on classification of theories by their complete extensions.Karel L. de Bouvère - 1969 - Notre Dame Journal of Formal Logic 10 (1):1-17.
Unusual feature of $S3^\ast$.Ivo Thomas - 1973 - Notre Dame Journal of Formal Logic 14 (2):276-276.
Kripke's axiomatization of S2.Charles F. Kielkopf - 1972 - Notre Dame Journal of Formal Logic 13:379.
Concerning some extensions of S4.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12:363.
Pledger lemma and the modal system S3°.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17:253.
Every functionally complete $m$-valued logic has a Post-complete axiomatization.Nuel D. Belnap & Storrs McCall - 1970 - Notre Dame Journal of Formal Logic 11 (1):106-106.

Analytics

Added to PP
2010-08-24

Downloads
34 (#674,613)

6 months
12 (#317,477)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The truth about some Post numbers.Krister Segerberg - 1976 - Journal of Symbolic Logic 41 (1):239-244.

Add more citations

References found in this work

No references found.

Add more references