Model checking hybrid logics (with an application to semistructured data)

&
Journal of Applied Logic 4 (3):279-304 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.06.010

Other Versions

No versions found

Links

PhilArchive

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

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.
Review: Patrick Blackburn, Maarten de Rijke, Yde Venema, Modal Logic. [REVIEW]Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
Review: Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev, Advances in Modal Logic. [REVIEW]Edwin Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-97.
Temporal logics for concurrent recursive programs: Satisfiability and model checking.Benedikt Bollig, Aiswarya Cyriac, Paul Gastin & Marc Zeitoun - 2014 - Journal of Applied Logic 12 (4):395-416.
The complexity of hybrid logics over equivalence relations.Martin Mundhenk & Thomas Schneider - 2009 - Journal of Logic, Language and Information 18 (4):493-514.
Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science vol. 53. [REVIEW]Valentin Goranko - 2004 - Studia Logica 76 (1):135-142.
Model checking for hybrid logic.Martin Lange - 2009 - Journal of Logic, Language and Information 18 (4):465-491.
Book Reviews:Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge: Cambridge University Press, 2002, xxii + 554 pp., US$53.00, ISBN 0-52152-714-7 (paperback).Manuel Bremer - 2005 - Minds and Machines 15 (1):126-129.
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.
Rijke. PDL for ordered trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Gaiffe Evan, Goris Maarten & Marx Maarten - forthcoming - Journal of Applied Non-Classical Logics.

Analytics

Added to PP
2016-06-30

Downloads
71 (#831,840)

6 months
16 (#746,739)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hybrid Logic and its Proof-Theory.Torben Braüner - 2010 - Dordrecht and New York: Springer.
Logics for Analyzing Games.Johan Van Benthem & Dominik Klein - 2019 - Stanford Encyclopedia of Philosophy.
Model checking for hybrid logic.Martin Lange - 2009 - Journal of Logic, Language and Information 18 (4):465-491.

View all 15 citations / Add more citations

References found in this work

Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
An approach to tense logic.R. A. Bull - 1970 - Theoria 36 (3):282-300.

View all 7 references / Add more references