Post Completeness and Ultrafilters

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):385-388 (1974)
  Copy   BIBTEX

Abstract

A cardinality result in modal propositional logic.

Categories

Keywords

Reprint years

DOI

10.1002/malq.19740202502

Other Versions

No versions found

Links

PhilArchive



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

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

Makinson D.. On some completeness theorems in modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 379–384. [REVIEW]Lennart Åqvist - 1970 - Journal of Symbolic Logic 35 (1):135-136.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
The Completeness of Presupposition‐Free Tense Logic.Robert F. Barnes & Raymond D. Gumb - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13‐18):193-208.

Analytics

Added to PP
2013-11-24

Downloads
60 (#355,311)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Krister Segerberg
Uppsala University
David Makinson
London School of Economics

Citations of this work

Algebraic semantics for quasi-classical modal logics.W. J. Blok & P. Köhler - 1983 - Journal of Symbolic Logic 48 (4):941-964.
The truth about some Post numbers.Krister Segerberg - 1976 - Journal of Symbolic Logic 41 (1):239-244.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.
Post complete and 0-axiomatizable modal logics.Fabio Bellissima - 1990 - Annals of Pure and Applied Logic 47 (2):121-144.

View all 6 citations / Add more citations

References found in this work

Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.
A warning about the choice of primitive operators in modal logic.David Makinson - 1973 - Journal of Philosophical Logic 2 (2):193 - 196.

Add more references