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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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.
On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (31):487-496.
A Completeness Result for Quantificational Tense Logic.Robert P. McArthur & Hugues Leblanc - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):89-96.
Post Completeness and Free Algebras.G. Sambin & S. Valentini - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (22-24):343-347.
On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi.Jan Pavelka - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):447-464.
Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I.J. A. Makowsky & A. Marcja - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):97-104.
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.
A Note on Generic Ultrafilters.J. L. Bell - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):307-310.
Strong Completeness of a Pure Free Logic.Ermanno Bencivenga - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):35-38.
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
54 (#304,015)

6 months
6 (#587,658)

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. College 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