Semantic Characterization of Krancht Formulas

In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 218-234 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,429

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Modal Horn Classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.
Generalizations of the Weak Law of the Excluded Middle.Andrea Sorbi & Sebastiaan A. Terwijn - 2015 - Notre Dame Journal of Formal Logic 56 (2):321-331.
An Extension of Kracht's Theorem to Generalized Sahlqvist Formulas.Stanislav Kikot - 2009 - Journal of Applied Non-Classical Logics 19 (2):227-251.
Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic 8. College Publications. pp. 178-199.
Cylindric Modal Logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.

Analytics

Added to PP
2018-02-17

Downloads
5 (#1,161,049)

6 months
1 (#416,470)

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

Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 2002 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. World Scientific. pp. 221-240.
On Axiomatising Products of Kripke Frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.

View all 8 references / Add more references