S4 Is Topologically Complete For : A Short Proof

Logic Journal of the IGPL 14 (1):63-71 (2006)
  Copy   BIBTEX

Abstract

Ideas of previous constructions are combined into a short proof of topological completeness of modal logic S4 first for rational numbers and after that for real numbers in the interval

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzk004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
A new proof of the NP-completeness of visual match.Ronald A. Rensink - manuscript
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
Derivability in certain subsystems of the Logic of Proofs is-complete.Robert Milnikel - 2007 - Annals of Pure and Applied Logic 145 (3):223-239.
Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
The disposition of complete theories.David Miller - unknown
A completeness proof for a logic with an alternative necessity operator.Stéphane Demri - 1997 - Studia Logica 58 (1):99-112.
A Short Introduction to Modal Logic.Grigori Mints - 1992 - Stanford, CA, USA: Center for the Study of Language and Information.
Revisiting completeness for the Kn modal logics: a new proof.T. Nicholson, R. Jennings & D. Sarenac - 2000 - Logic Journal of the IGPL 8 (1):101-105.
The single-conclusion proof logic and inference rules specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.Franco Montagna, G. Michele Pinna & Elisa B. P. Tiezzi - 2000 - Mathematical Logic Quarterly 46 (2):171-182.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
Is Euclid's proof of the infinitude of prime numbers tautological?Zeeshan Mahmud - manuscript
Proof Mining in Topological Dynamics.Philipp Gerhardy - 2008 - Notre Dame Journal of Formal Logic 49 (4):431-446.

Analytics

Added to PP
2015-02-04

Downloads
19 (#781,160)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references