The Truth About Algorithmic Problems in Correspondence Theory

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 121-138 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

The Truth About Algorithmic Problems in Correspondence Theory.Alexander Chagrov & Lilia Chagrova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 121-138.
Algorithmic Correspondence Theory for Substructural Categorial Logic.Marcelo Finger - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 153-172.
Algorithmic Correspondence Theory for Substructural Categorial Logic.Marcelo Finger - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 153-172.
Modal logic, Alexander Chagrov and Michael Zakharyaschev. [REVIEW]Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (2):255-258.
Homophonic Theory of Truth for Tense Logic.Torben Braüner - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 59-72.
Homophonic Theory of Truth for Tense Logic.Torben Braüner - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 59-72.
Canonical Pseudo-Correspondence.Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 439-448.
Canonical Pseudo-Correspondence.Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 439-448.

Analytics

Added to PP
2020-02-06

Downloads
5 (#1,561,562)

6 months
2 (#1,259,919)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An extension of Kracht's theorem to generalized Sahlqvist formulas.Stanislav Kikot - 2009 - Journal of Applied Non-Classical Logics 19 (2):227-251.
Semantic Characterization of Krancht Formulas.Stanislav Kikot - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 218-234.
Definability in the class of all -frames – computability and complexity.D. T. Georgiev - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):1-26.

Add more citations

References found in this work

No references found.

Add more references