- On the size of refutation Kripke models for some linear modal and tense logics.Hiroakira Ono & Akira Nakamura - 1980 - Studia Logica 39 (4):325 - 333.details
|
|
(1 other version)All proper normal extensions of s5-square have the polynomial size model property.Nick Bezhanishvili & Maarten Marx - 2003 - Studia Logica 73 (3):367 - 382.details
|
|
(1 other version)All Proper Normal Extensions of S5-square have the Polynomial Size Model Property.Nick Bezhanishvili & Maarten Marx - 2003 - Studia Logica 73 (3):367-382.details
|
|
All Normal Extensions of S5-squared Are Finitely Axiomatizable.Ian Hodkinson - 2004 - Studia Logica 78 (3):443-457.details
|
|
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..details
|
|
All Normal Extensions of S5-squared Are Finitely Axiomatizable.Nick Bezhanishvili & Ian Hodkinson - 2004 - Studia Logica 78 (3):443-457.details
|
|
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable.Michael Zakharyaschevm & Alexander Alekseev - 1995 - Mathematical Logic Quarterly 41 (1):15-23.details
|
|
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.details
|
|
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.details
|
|
On Notions of Completeness Weaker than Kripke Completeness.T. Litak - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 149-169.details
|
|
On Notions of Completeness Weaker than Kripke Completeness.T. Litak - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 149-169.details
|
|