Post completeness in modal logic

Journal of Symbolic Logic 37 (4):711-715 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272418

Other Versions

No versions found

Links

PhilArchive



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

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

Krister Segerberg. Some modal logics based on a three-valued logic. Theoria , vol. 33 , pp. 53–71.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309-310.
E. J. Lemmon. An introduction to modal logic, ir. collaboration with Dana Scott, edited by Krister Segerberg. American philosophical quarterly monograph series, no. 11. Basil Blackwell, Oxford1977, x + 94 pp. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):653-654.
On Parikh Provability: An Exercise in Modal Logic.Per Lindstrom - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--287.
Krister Segerberg. The logic of deliberate action. Journal of philosophical logic, vol. 11 ,pp. 233–254.Brian F. Chellas - 1986 - Journal of Symbolic Logic 51 (2):476-477.
Modal Logic and Possible Worlds.Rohit Parikh - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--339.
Krister Segerberg. Decidability of S4.1. Theoria , vol. 34 , pp. 7–20.Kit Fine - 1974 - Journal of Symbolic Logic 39 (3):611-612.
Segerberg Krister. Classical prepositional operators. An exercise in the foundations of logic. Oxford logic guides, no. 5. Clarendon Press, Oxford University Press, Oxford and New York 1982, x + 152 pp. [REVIEW]Richard Fleming - 1984 - Journal of Symbolic Logic 49 (3):993-994.
Lennart Âqvist. Reflections on the logic of nonsense. Theoria , vol. 28 , pp. 138–157. - Krister Segerberg. A contribution to nonsense-logics. Theoria , vol. 31 , pp. 199–217. [REVIEW]E. E. Dawson - 1968 - Journal of Symbolic Logic 33 (1):134-136.
Krister Segerberg, Classical Propositional Operators: An Exercise in the Foundations of Logic Reviewed by.Alasdair Urquhart - 1983 - Philosophy in Review 3 (6):306-308.
Analysis of Fast Unification: An Exercise in Applied Logic.Kaj Børge Hansen - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 159.

Analytics

Added to PP
2009-01-28

Downloads
276 (#98,975)

6 months
16 (#197,483)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

Citations of this work

A warning about the choice of primitive operators in modal logic.David Makinson - 1973 - Journal of Philosophical Logic 2 (2):193 - 196.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2014 - Journal of Philosophical Logic 43 (1):133-152.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.Timothy Williamson - 1998 - Notre Dame Journal of Formal Logic 39 (1):128-134.

View all 13 citations / Add more citations

References found in this work

Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
The existence postulate and non-regular systems of modal logic.Anjan Shukla - 1972 - Notre Dame Journal of Formal Logic 13 (3):369-378.
A note on the regular and irregular modal systems of Lewis.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (2):109-113.

Add more references