- Indistinguishability, Choices, and Logics of Agency.Alberto Zanardo - 2013 - Studia Logica 101 (6):1215-1236.details
|
|
IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - Studia Logica 102 (1):41-66.details
|
|
Hybrid logic meets if modal logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.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
|
|
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
|
|
An efficient approach to nominal equalities in hybrid logic tableaux.Serenella Cerrito & Marta Cialdea Mayer - 2010 - Journal of Applied Non-Classical Logics 20 (1-2):39-61.details
|
|
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.details
|
|
A bisimulation characterization theorem for hybrid logic with the current-state Binder.Ian Hodkinson & Hicham Tahiri - 2010 - Review of Symbolic Logic 3 (2):247-261.details
|
|
Branching-time logics repeatedly referring to states.Volker Weber - 2009 - Journal of Logic, Language and Information 18 (4):593-624.details
|
|
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.details
|
|
Modal logic, truth, and the master modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.details
|
|
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.details
|
|
Second-order propositional modal logic and monadic alternation hierarchies.Antti Kuusisto - 2015 - Annals of Pure and Applied Logic 166 (1):1-28.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
|
|
Modal logic: A semantic perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.details
|
|
A Hilbert-Style Axiomatisation for Equational Hybrid Logic.Luís S. Barbosa, Manuel A. Martins & Marta Carreteiro - 2014 - Journal of Logic, Language and Information 23 (1):31-52.details
|
|
A Handbook for Language Engineers.Matthew Stone - unknowndetails
|
|
Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.details
|
|
Truth-values as labels: a general recipe for labelled deduction.Cristina Sernadas, Luca Viganò, João Rasga & Amílcar Sernadas - 2003 - Journal of Applied Non-Classical Logics 13 (3):277-315.details
|
|
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.details
|
|
The expressibility of fragments of Hybrid Graph Logic on finite digraphs.James Gate & Iain A. Stewart - 2013 - Journal of Applied Logic 11 (3):272-288.details
|
|
Arthur Prior and Hybrid Logic.Patrick Blackburn - 2006 - Synthese 150 (3):329-372.details
|
|
Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.details
|
|
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.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 bounded fragment and hybrid logic with polyadic modalities.Ian Hodkinson - 2010 - Review of Symbolic Logic 3 (2):279-286.details
|
|