Lightweight hybrid tableaux

Journal of Applied Logic 8 (4):397-408 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2010.08.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Lightweight relevance filtering for machine-generated resolution problems.Jia Meng & Lawrence C. Paulson - 2009 - Journal of Applied Logic 7 (1):41-57.
Guillaume Marcel. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système de Feys-von Wright. Comptes rendus des séances de l'Académie des Sciences , vol. 246 , pp. 1140–1142.Guillaume Marcel. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S4 de Lewis. Comptes rendus des séances de l'Académie des Sciences , vol. 246 , pp. 2207–2210.Guillaume Marcel. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S5 de Lewis. Comptes rendus des séances de l'Académie des Sciences , vol. 247 , pp. 1282–1283.Guillaume Marcel. Calculs de consequences et tableaux d'épreuve pour les classes algébriques générales d'anneaux booléiens à opérateurs. Comptes rendus des séances de l'Académie des Sciences , vol. 246 , pp. 1542–1544. [REVIEW]Jaakko Hintikka - 1960 - Journal of Symbolic Logic 25 (3):296-297.
Tableaux and hypersequents for justification logics.Hidenori Kurokawa - 2012 - Annals of Pure and Applied Logic 163 (7):831-853.
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.
Axiomatizing hybrid logic using modal logic.Ian Hodkinson & Louis Paternault - 2010 - Journal of Applied Logic 8 (4):386-396.
Hybrid logic with the difference modality for generalisations of graphs.Robert S. R. Myers & Dirk Pattinson - 2010 - Journal of Applied Logic 8 (4):441-458.
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.
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.
Axiomatizing hybrid products.Katsuhiko Sano - 2010 - Journal of Applied Logic 8 (4):459-474.
Model checking hybrid logics.Massimo Franceschet & Maarten de Rijke - 2006 - Journal of Applied Logic 4 (3):279-304.

Analytics

Added to PP
2016-06-30

Downloads
6 (#1,482,791)

6 months
1 (#1,723,047)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.

Add more citations

References found in this work

Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.

Add more references