Temporal logics in computer science. Finite-state systems
DOI10.1017/CBO9781139236119zbMATH Open1380.68003OpenAlexW3210476636MaRDI QIDQ2805273FDOQ2805273
Authors: Stéphane Demri, Martin Lange, Valentin Goranko 
Publication date: 11 May 2016
Published in: Cambridge Tracts in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/cbo9781139236119
Recommendations
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (53)
- Propositional Dynamic Logic for Hyperproperties
- Equilibria for games with combined qualitative and quantitative objectives
- Branching-time logics and fairness, revisited
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- Системы временной логики I: моменты, истории, деревья
- Title not available (Why is that?)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
- Pardinus: a temporal relational model finder
- Local higher-order fixpoint iteration
- On the expressive power of hybrid branching-time logics
- On the expressive power of hybrid branching-time logics
- Loop-type sequent calculi for temporal logic
- Alternating-time temporal logic ATL with finitely bounded semantics
- On the complexity of resource-bounded logics
- Title not available (Why is that?)
- Automata for branching and layered temporal structures. An investigation into regularities of infinite transition systems
- Automated Deduction – CADE-20
- ``Most of leads to undecidability: failure of adding frequencies to LTL
- Interval vs. point temporal logic model checking. An expressiveness comparison
- First-order rewritability of ontology-mediated queries in linear temporal logic
- Temporal logics with language parameters
- Reasoning about reversal-bounded counter machines
- Title not available (Why is that?)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic
- Unary and two-variable interval logics
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
- Temporal logic and fair discrete systems
- Towards the exact complexity of realizability for safety LTL
- The tail-recursive fragment of timed recursive CTL
- Temporal logic. Vol. 2. Mathematical foundations and computational aspects
- From model checking to equilibrium checking: reactive modules for rational verification
- Title not available (Why is that?)
- Temporal logic and state systems
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Expressiveness of extended bounded response \textsf{LTL}
- On the size of disjunctive formulas in the \(\mu\)-calculus
- Size measures and alphabetic equivalence in the \(\mu \)-calculus
- Temporal team semantics revisited
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- Temporal logics with language parameters
- A focus system for the alternation-free \(\mu \)-calculus
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Time and Gödel: fuzzy temporal reasoning in PSPACE
- Gödel-Dummett linear temporal logic
- Title not available (Why is that?)
- Model checking for hybrid branching-time logics
- Title not available (Why is that?)
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)
- Specification and verification using temporal logics
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Nash equilibrium and bisimulation invariance
This page was built for publication: Temporal logics in computer science. Finite-state systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805273)
