Reasoning about XML with temporal logics and automata

&
Journal of Applied Logic 8 (2):210-232 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2009.09.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

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

Branching-time logics repeatedly referring to states.Volker Weber - 2009 - Journal of Logic, Language and Information 18 (4):593-624.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Temporal and Dynamic Logic.Frank Wolter & Michael Wooldridge - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Alternating automata and temporal logic normal forms.Clare Dixon, Alexander Bolotov & Michael Fisher - 2005 - Annals of Pure and Applied Logic 135 (1-3):263-285.
An approach to design of automata-based axiomatization for propositional program and temporal logics.Nikolay V. Shilov - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 297-324.
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
Decidability and incompleteness results for first-order temporal logics of linear time.Stephan Merz - 1992 - Journal of Applied Non-Classical Logics 2 (2):139-156.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Decidable fragments of first-order temporal logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.
Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.
Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems.Osamu Morikawa - 2001 - Notre Dame Journal of Formal Logic 42 (1):55-64.
Temporal theories of reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (1):97-119.
Efficient reasoning about rich temporal domains.Yoav Shoham - 1988 - Journal of Philosophical Logic 17 (4):443 - 474.
Metric temporal reasoning with less than two clocks.Mark Reynolds - 2010 - Journal of Applied Non-Classical Logics 20 (4):437-455.
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.

Analytics

Added to PP
2016-06-30

Downloads
16 (#902,419)

6 months
3 (#962,988)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Expressive completeness of temporal logic of trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.

Add more references