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)- Gödel-Dummett linear temporal logic
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- ``Most of leads to undecidability: failure of adding frequencies to LTL
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- Temporal logic and state systems
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
- Temporal Logic
- On the expressive power of hybrid branching-time logics
- Unary and two-variable interval logics
- Propositional Dynamic Logic for Hyperproperties
- Equilibria for games with combined qualitative and quantitative objectives
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)
- On the expressive power of hybrid branching-time logics
- 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
- scientific article; zbMATH DE number 4081516 (Why is no real title available?)
- Системы временной логики I: моменты, истории, деревья
- Branching-time logics and fairness, revisited
- A focus system for the alternation-free \(\mu \)-calculus
- Towards the exact complexity of realizability for safety LTL
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
- Interval vs. point temporal logic model checking. An expressiveness comparison
- Automated Deduction – CADE-20
- Temporal logic. Vol. 2. Mathematical foundations and computational aspects
- Temporal logic and fair discrete systems
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Temporal logics with language parameters
- Specification and verification using temporal logics
- Time and Gödel: fuzzy temporal reasoning in PSPACE
- Model checking for hybrid branching-time logics
- Temporal logics with language parameters
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Reasoning about reversal-bounded counter machines
- First-order rewritability of ontology-mediated queries in linear temporal logic
- Automata for branching and layered temporal structures. An investigation into regularities of infinite transition systems
- From model checking to equilibrium checking: reactive modules for rational verification
- Pardinus: a temporal relational model finder
- Local higher-order fixpoint iteration
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- The tail-recursive fragment of timed recursive CTL
- Alternating-time temporal logic ATL with finitely bounded semantics
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Nash equilibrium and bisimulation invariance
- Loop-type sequent calculi for temporal logic
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
- On the complexity of resource-bounded logics
- scientific article; zbMATH DE number 7455743 (Why is no real title available?)
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic
- 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)
