Temporal logics in computer science. Finite-state systems
From MaRDI portal
Publication:2805273
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)
Recommendations
Cited in
(54)- Specification and verification using temporal logics
- Equilibria for games with combined qualitative and quantitative objectives
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Nash equilibrium and bisimulation invariance
- Propositional Dynamic Logic for Hyperproperties
- Branching-time logics and fairness, revisited
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- Pardinus: a temporal relational model finder
- Local higher-order fixpoint iteration
- Системы временной логики I: моменты, истории, деревья
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
- 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
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- On the complexity of resource-bounded logics
- 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
- scientific article; zbMATH DE number 4081516 (Why is no real title available?)
- 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}\)
- Temporal logic and fair discrete systems
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
- Temporal Logic
- 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
- Temporal logic and state systems
- scientific article; zbMATH DE number 7455743 (Why is no real title available?)
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- 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
- 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
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
- Model checking for hybrid branching-time logics
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)
- scientific article; zbMATH DE number 7269244 (Why is no real title available?)
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)
