- The Price of Universality.Edith Hemaspaandra - 1996 - Notre Dame Journal of Formal Logic 37 (2):174-203.details
|
|
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.details
|
|
On fragments of Medvedev's logic.Miros>law Szatkowski - 1981 - Studia Logica 40 (1):39 - 54.details
|
|
The decidability of the Kreisel-Putnam system.Dov M. Gabbay - 1970 - Journal of Symbolic Logic 35 (3):431-437.details
|
|
A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.details
|
|
(1 other version)On PSPACE-decidability in Transitive Modal Logic.Ilya Shapirovsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 269-287.details
|
|
(2 other versions)Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.details
|
|
On formulas of one variable in intuitionistic propositional calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.details
|
|
(1 other version)Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables.Mikhail Rybakov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 393-411.details
|
|
(1 other version)Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables.Mikhail Rybakov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 393-411.details
|
|
(1 other version)On PSPACE-decidability in Transitive Modal Logic.Ilya Shapirovsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 269-287.details
|
|
(1 other version)How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics.A. V. Chagrov & M. N. Rybakov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 71-82.details
|
|
Sur les Algèbres de Hilbert.Antonio Diego, Jean Porte & Luisa Iturrioz - 1970 - Journal of Symbolic Logic 35 (1):139-139.details
|
|
On Fragments of Medvedev's Logic.Mirosław Szatkowski - 1981 - Studia Logica 40 (1):39 - 54.details
|
|
The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic.Joseph Y. Halpern - 1995 - Artificial Intelligence 75 (2):361-372.details
|
|
Classifying the computational complexity of problems.Larry Stockmeyer - 1987 - Journal of Symbolic Logic 52 (1):1-43.details
|
|
A propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.details
|
|
Relationships between Nondeterministic and Deterministic Tape Complexities.Walter J. Savitch - 1974 - Journal of Symbolic Logic 39 (2):346-347.details
|
|