Axiomatizing hybrid logic using modal logic

&
Journal of Applied Logic 8 (4):386-396 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2010.08.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Axiomatizing hybrid products.Katsuhiko Sano - 2010 - Journal of Applied Logic 8 (4):459-474.
Axiomatizing a Real-Valued Modal Logic.Denisa Diaconescu, George Metcalfe & Laura Schnüriger - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 236-251.
Review: Relation algebras by games Robin Hirsch, Ian Hodkinson: Relation algebras by games. [REVIEW]Roger Maddux - 2003 - Logic Journal of the IGPL 11 (5):577-581.
Robin Hirsch and Ian Hodkinson. Relation algebras by games. Elsevier, Amsterdam, 2002, xviii + 691 pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (4):515-520.
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.
Axiomatizing first-order consequences in independence logic.Miika Hannula - 2015 - Annals of Pure and Applied Logic 166 (1):61-91.
Intuitionistic hybrid logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.
Axiomatizing the lexicographic products of modal logics with linear temporal logics.Philippe Balbiani & David Fernández-Duque - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 78-96.
Axiomatizing geometric constructions.Victor Pambuccian - 2008 - Journal of Applied Logic 6 (1):24-46.
Representation, reasoning, and relational structures: a hybrid logic manifesto.P. Blackburn - 2000 - Logic Journal of the IGPL 8 (3):339-365.

Analytics

Added to PP
2016-06-30

Downloads
12 (#317,170)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Algorithmic correspondence for hybrid logic with binder.Zhiguang Zhao - 2023 - Logic Journal of the IGPL 31 (1):39-67.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
An introduction to modal logic: the Lemmon notes.E. J. Lemmon - 1977 - Oxford: Blackwell. Edited by Dana S. Scott.
An Introduction to Modal Logic.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.
Hybrid logics with Sahlqvist axioms.B. ten Cate - 2005 - Logic Journal of the IGPL 13 (3):293-300.

View all 11 references / Add more references