11 Temporal logic
Bibliography (220)
Towards a general theory of action and time
Artificial Intelligence
(1984)- et al.
Real-time logics: Complexity and expressiveness
Information and Control
(1993) Separation in nonlinear time models
Information and Control
(1985)- et al.
Preservation of expressive completeness in temporal models
Information and Computation
(1987) - et al.
Model checking
Temporal and modal logics
- et al.
Using branching time temporal logic to synthesise synchronisation skeletons
Sci. of Computer Programming
(1982) - et al.
Decision procedures and expressiveness in the temporal logic of branching time
J. Comp and Sys. Sci
(1985) - et al.
Deciding full branching time logic
Information and Control
(1984) - et al.
An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
Information and Computation
(2000)
Cut-free sequent and tableau systems for propositional diodorean modal logics
Studia Logica
(1994)
Computation tree logic CTL* and path quantifiers in the monadic the- ory of the binary tree
Mosaics and step-by-step (Remarks on 'A modal logic of relations')
Complexity of monodic packed fragment over linear and real time
Annals of Pure and Applied Logic
(2006)
The k-variable property is stronger than k-dimension k
J. Philosophical Logic
(1997)
Nonclausal Temporal Deduction
Lecture Notes in Computer Science
(1985)
Non-clausal deduction in first-order temporal logic
J. ACM
(1990)
Temporal connectives versus explicit timestamps in temporal query languages
Temporal versus first-order logic in query temporal databases
An n! lower bound on formula size
ACM Transactions on Computational Logic
(2003)
Maintaining knowledge about temporal intervals
Communications of the ACM
(1983)
Alternating-time temporal logic
Journal of the ACM
(2002)
Expressive completeness failure in branching time structures
Journal of Computer and System Sciences
(1982)
Functional Completeness in Tense Logic
On non-local propositional and weak monodic quantified CTL*
Journal of Logic and Computation
(2004)
Mathematical Logic for Computer Science
(1993)
Semantic entailment and formal derivability
Mededelingen der Koninklijke Nederlandse Akad. van Wetensch
(1955)
Time Granularities in Databases, Data Mining, and Temporal Reasoning
(2000)
Order independent temporal properties
J. Logic Computat
(2004)
Hybrid languages and temporal logic
Logic Journal of the IGPL
(1999)
Concerted instant-interval temporal semantics I: Temporal ontologies
Notre Dame J. of Formal Logic
(1990)
A Resolution Method for CTL Branching-Time Temporal Logic
On the expressiveness of TPTL and MTL
Specification and prototyping of structured multimedia documents using interval temporal logic
On a decision method in restricted second order arithmetic
An approach to tense logic
Theoria
(1970)
Basic modal logic
Logic and time
J. Symbolic Logic
(1979)
Decidability for branching time
Studia Logica
(1980)
Axioms for tense logic I: ‘Since’ and ‘Until’
Notre Dame J. Formal Logic
(1982)
Axioms for tense logic II. Time periods
Notre Dame Journal of Formal Logic
(1982)
Basic tense logic
The decision problem for linear temporal logic
Notre Dame J. Formal Logic
(1985)
A Decision Method for Linear Temporal Logic
Synthesis of synchronization skeletons for branching time temporal logic
Monodic Temporal Resolution
Equality and monodic first-order temporal logic
Studia Logica
(2002)
Automated temporal reasoning for reactive systems
‘Sometimes’ and ‘not never’ revisited: on branching versus linear time
J. ACM
(1986)
Cited by (0)
Copyright © 2007 Elsevier B.V. All rights reserved.