Temporal logic and state systems

DOI10.1007/978-3-540-68635-4zbMath1169.03001OpenAlexW618068147MaRDI QIDQ2517767

Stephan Merz, Fred Kröger

Publication date: 9 January 2009

Published in: Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68635-4

zbMATH Keywords

verificationdecidabilitymodel checkingtemporal logicspecificationlinear timebranching time

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44)

Related Items

Distributed Adaptive Systems ⋮ A decidable and expressive fragment of Many-Sorted first-order linear temporal logic ⋮ Propositional linear temporal logic with initial validity semantics ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Temporal Logic and Fair Discrete Systems ⋮ Branching Time? Pruning Time! ⋮ A deductive approach towards reasoning about algebraic transition systems ⋮ Maintaining awareness using policies; Enabling agents to identify relevance of information ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Best unifiers in transitive modal logics ⋮ Guest editors' preface to special issue on interval temporal logics ⋮ Compositional reasoning using intervals and time reversal ⋮ Automated verification of state sequence invariants in general game playing ⋮ Unification in linear temporal logic LTL ⋮ A unifying logic for non-deterministic, parallel and concurrent abstract state machines ⋮ Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic ⋮ The Derivations of Temporal Logic Formulas ⋮ The Properties of Sets of Temporal Logic Subformulas ⋮ Weak Completeness Theorem for Propositional Linear Time Temporal Logic ⋮ The Axiomatization of Propositional Linear Time Temporal Logic