- Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder.Zhiguang Zhao - forthcoming - Logic Journal of the IGPL.details
|
|
Hybrid counterfactual logics David Lewis meets Arthur prior again.Katsuhiko Sano - 2009 - Journal of Logic, Language and Information 18 (4):515-539.details
|
|
Hybrid Partial Type Theory.María Manzano, Antonia Huertas, Patrick Blackburn, Manuel Martins & Víctor Aranda - forthcoming - Journal of Symbolic Logic:1-43.details
|
|
Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.details
|
|
Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models.Yuichiro Hosokawa - 2024 - Journal of Logic, Language and Information 33 (4):391-418.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
A logic for diffusion in social networks.Zoé Christoff & Jens Ulrik Hansen - 2015 - Journal of Applied Logic 13 (1):48-77.details
|
|
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.details
|
|
Justification logics and hybrid logics.Melvin Fitting - 2010 - Journal of Applied Logic 8 (4):356-370.details
|
|
(1 other version)Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.details
|
|
Axiomatizing hybrid products.Katsuhiko Sano - 2010 - Journal of Applied Logic 8 (4):459-474.details
|
|
Hybrid Logic of the Hide and Seek Game.Katsuhiko Sano, Fenrong Liu & Dazhu Li - forthcoming - Studia Logica:1-33.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
|
|
Analogues of Bull’s theorem for hybrid logic.Willem Conradie & Claudette Robinson - 2019 - Logic Journal of the IGPL 27 (3):281-313.details
|
|
(1 other version)Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.details
|
|
The logic of imaginary scenarios.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2020 - Logic Journal of the IGPL 28 (3):363-388.details
|
|
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.details
|
|
Axiomatizing hybrid logic using modal logic.Ian Hodkinson & Louis Paternault - 2010 - Journal of Applied Logic 8 (4):386-396.details
|
|