- Annotation Theories over Finite Graphs.Dov M. Gabbay & Andrzej Szałas - 2009 - Studia Logica 93 (2):147-180.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Logic, Language, Information and Computation: 15th International Workshop, Wollic 2008 Edinburgh, Uk, July 1-4, 2008, Proceedings.Wilfrid Hodges & Ruy de Queiroz (eds.) - 2008 - Berlin and New York: Springer.details
|
|
Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.details
|
|
The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2):407-442.details
|
|
Decidability of independence-friendly modal logic.Merlijn Sevenster - 2010 - Review of Symbolic Logic 3 (3):415-441.details
|
|
Semantical Characterizations for Irreflexive and Generalized Modal Languages.Katsuhiko Sano & Kentaro Sato - 2007 - Notre Dame Journal of Formal Logic 48 (2):205-228.details
|
|
Temporal languages for epistemic programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.details
|
|
The Fitch-Church Paradox and First Order Modal Logic.Carlo Proietti - 2016 - Erkenntnis 81 (1):87-104.details
|
|
Understanding the Brandenburger-Keisler Paradox.Eric Pacuit - 2007 - Studia Logica 86 (3):435-454.details
|
|
The complexity of hybrid logics over equivalence relations.Martin Mundhenk & Thomas Schneider - 2009 - Journal of Logic, Language and Information 18 (4):493-514.details
|
|
Complexity of hybrid logics over transitive frames.Martin Mundhenk, Thomas Schneider, Thomas Schwentick & Volker Weber - 2010 - Journal of Applied Logic 8 (4):422-440.details
|
|
The complexity of satisfiability for fragments of hybrid logic—Part I.Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber & Felix Weiss - 2010 - Journal of Applied Logic 8 (4):409-421.details
|
|
A Simple Logic of the Hide and Seek Game.Dazhu Li, Sujata Ghosh, Fenrong Liu & Yaxin Tu - 2023 - Studia Logica 111 (5):821-853.details
|
|
Second-order propositional modal logic and monadic alternation hierarchies.Antti Kuusisto - 2015 - Annals of Pure and Applied Logic 166 (1):1-28.details
|
|
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.details
|
|
A Simple Logic of Concepts.Thomas F. Icard & Lawrence S. Moss - 2022 - Journal of Philosophical Logic 52 (3):705-730.details
|
|
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines.C. Hampson, S. Kikot & A. Kurucz - 2016 - Studia Logica 104 (3):455-486.details
|
|
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.details
|
|
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.details
|
|
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.details
|
|
Introducing H, an Institution-Based Formal Specification and Verification Language.Răzvan Diaconescu - 2020 - Logica Universalis 14 (2):259-277.details
|
|
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.details
|
|
The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2019 - Erkenntnis (4):1-29.details
|
|
The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2019 - Erkenntnis 86 (4):875-903.details
|
|
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.details
|
|
Arthur Prior and Hybrid Logic.Patrick Blackburn - 2006 - Synthese 150 (3):329-372.details
|
|
Arthur Prior and ‘Now’.Patrick Blackburn & Klaus Frovin Jørgensen - 2016 - Synthese 193 (11).details
|
|
A first step towardsmodeling semistructured data in hybrid multimodal logic.Nicole Bidoit, Serenella Cerrito & Virginie Thion - 2004 - Journal of Applied Non-Classical Logics 14 (4):447-475.details
|
|
The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):407-442.details
|
|
A Modal Logic for Supervised Learning.Alexandru Baltag, Dazhu Li & Mina Young Pedersen - 2022 - Journal of Logic, Language and Information 31 (2):213-234.details
|
|
The expressive power of memory logics.Carlos Areces, Diego Figueira, Santiago Figueira & Sergio Mera - 2011 - Review of Symbolic Logic 4 (2):290-318.details
|
|
Repairing the interpolation theorem in quantified modal logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.details
|
|
On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic.Natasha Alechina - 1995 - Journal of Logic, Language and Information 4 (3):177-189.details
|
|
2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.details
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The Logical Structure of ‘Rago-knowledge’.Wonjae Ha - 2022 - 철학적 분석 48:91-123.details
|
|
Hybrid Logics: Characterization, Interpolation and Complexity.Carlos Areces, Patrick Blackburn & Maarten Marx - 2001 - Journal of Symbolic Logic 66 (3):977-1010.details
|
|