A simpler proof of Sahlqvist's theorem on completeness of modal logics

Bulletin of the Section of Logic 9 (2):50-54 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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 new proof of Sahlqvist's theorem on modal definability and completeness.G. Sambin & V. Vaccaro - 1989 - Journal of Symbolic Logic 54 (3):992-999.
A new proof of structural completeness of Lukasiewicz's logics.Piotr Wojtylak - 1976 - Bulletin of the Section of Logic 5 (4):145-150.
Structural completeness of modal logics containing k4.Wies law Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):32-35.
Remarks on Hallden-completeness of modal and intermediate logics.Andrzej Wronski - 1976 - Bulletin of the Section of Logic 5 (4):126-129.
The Craig interpolation theorem in multi-modal logics.J. X. Madarász - 1995 - Bulletin of the Section of Logic 3 (24):147-151.
Constant Domain Quantified Modal Logics Without Boolean Negation.Greg Restall - 2005 - Australasian Journal of Logic 3:45-62.
A new proof of completeness for a relative modal logic with composition and intersection.Philippe Balbiani - 2001 - Journal of Applied Non-Classical Logics 11 (3):269-280.
A Uniform Method Of Proof Of The Completeness Theorem For The Equivalential Propositional Calculus And For Some Of Its Extentions.Stanislaw Surma - 1972 - Bulletin of the Section of Logic 1 (1):53-62.
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
A semantical proof of the admissibility of the rule assertion in some relevant and modal logics.Gemma Robles - 2012 - Bulletin of the Section of Logic 41 (1/2):51-60.

Analytics

Added to PP
2014-02-19

Downloads
29 (#782,679)

6 months
4 (#1,269,568)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Topology and duality in modal logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.

Add more citations

References found in this work

An Introduction to Modal Logic.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.

Add more references