- (1 other version)Syntactic codes and grammar refinement.Marcus Kracht - 1995 - Journal of Logic, Language and Information 4 (1):41-60.details
|
|
The computational complexity of hybrid temporal logics.C. Areces, P. Blackburn & M. Marx - 2000 - Logic Journal of the IGPL 8 (5):653-679.details
|
|
The classical decision problem.Egon Boerger - 1997 - New York: Springer. Edited by Erich Grädel & Yuri Gurevich.details
|
|
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
|
|
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.details
|
|
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.details
|
|
(2 other versions)Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.details
|
|
Model checking hybrid logics.Massimo Franceschet & Maarten de Rijke - 2006 - Journal of Applied Logic 4 (3):279-304.details
|
|
PDL for ordered trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx & Maarten de Rijke - 2005 - Journal of Applied Non-Classical Logics 15 (2):115-135.details
|
|
(1 other version)On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.details
|
|
(1 other version)Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.details
|
|
Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.details
|
|
Cardinality restrictions on concepts.Franz Baader, Martin Buchheit & Bernhard Hollander - 1996 - Artificial Intelligence 88 (1-2):195-213.details
|
|
Hybrid languages and temporal logic.P. Blackburn & M. Tzakova - 1999 - Logic Journal of the IGPL 7 (1):27-54.details
|
|
(1 other version)Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic 14 (3):281-288.details
|
|
EXPtime tableaux for ALC.Francesco M. Donini & Fabio Massacci - 2000 - Artificial Intelligence 124 (1):87-138.details
|
|
(1 other version)What Are Hybrid Languages?Patrick Blackburn & Jerry Seligman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 41-62.details
|
|
Hybrid Logics: Characterization, Interpolation and Complexity.Carlos Areces, Patrick Blackburn & Maarten Marx - 2001 - Journal of Symbolic Logic 66 (3):977-1010.details
|
|
(1 other version)On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.details
|
|
Representation, reasoning, and relational structures: a hybrid logic manifesto.P. Blackburn - 2000 - Logic Journal of the IGPL 8 (3):339-365.details
|
|
The Classical Decision Problem.Egon Börger, Erich Grädel & Yuri Gurevich - 2000 - Studia Logica 64 (1):140-143.details
|
|
(1 other version)Syntactic codes and grammar refinement.M. Kracht - 1995 - Journal of Logic, Language and Information 4 (4):359-380.details
|
|
(1 other version)What Are Hybrid Languages?Patrick Blackburn & Jerry Seligman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 41-62.details
|
|
Uniform and non uniform strategies for tableaux calculi for modal logics.Stéphane Demri - 1995 - Journal of Applied Non-Classical Logics 5 (1):77-96.details
|
|