- Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.details
|
|
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.details
|
|
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.details
|
|
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.details
|
|
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.details
|
|
Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.details
|
|
Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.details
|
|
On Axiomatising Products of Kripke Frames.Agnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.details
|
|