Temporal logics in computer science. Finite-state systems
From MaRDI portal
(Redirected from Publication:2805273)
Temporal logic (03B44) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(63)- On the expressive power of hybrid branching-time logics
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)
- Pardinus: a temporal relational model finder
- Local higher-order fixpoint iteration
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- A focus system for the alternation-free \(\mu \)-calculus
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- Loop-type sequent calculi for temporal logic
- Temporal logics with language parameters
- ``Most of leads to undecidability: failure of adding frequencies to LTL
- First-order rewritability of ontology-mediated queries in linear temporal logic
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Model checking for hybrid branching-time logics
- Alternating-time temporal logic ATL with finitely bounded semantics
- From model checking to equilibrium checking: reactive modules for rational verification
- Temporal logic and state systems
- Temporal logic. Vol. 2. Mathematical foundations and computational aspects
- Temporal logic and fair discrete systems
- scientific article; zbMATH DE number 4081516 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- Interval vs. point temporal logic model checking. An expressiveness comparison
- Formal methods in computer science
- Specification and verification using temporal logics
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
- scientific article; zbMATH DE number 7455743 (Why is no real title available?)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Системы временной логики I: моменты, истории, деревья
- On the expressive power of hybrid branching-time logics
- Branching-time logics and fairness, revisited
- Propositional Dynamic Logic for Hyperproperties
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- Nash equilibrium and bisimulation invariance
- Two-variable logics with some betweenness relations: expressiveness, satisfiability and membership
- Automated Deduction – CADE-20
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
- On the complexity of resource-bounded logics
- The tail-recursive fragment of timed recursive CTL
- Time and Gödel: fuzzy temporal reasoning in PSPACE
- Temporal Logic
- Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Temporal logics with language parameters
- Reasoning about reversal-bounded counter machines
- Unary and two-variable interval logics
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
- Towards the exact complexity of realizability for safety LTL
- Size measures and alphabetic equivalence in the -calculus
- Temporal team semantics revisited
- Expressiveness of extended bounded response \textsf{LTL}
- On the size of disjunctive formulas in the \(\mu\)-calculus
- Gödel-Dummett linear temporal logic
- Computing measures of weak-mso definable sets of trees
- A finite abstraction of real-valued functions for complete reasoning about influence
- Intuitionistic -calculus with the Lewis arrow
- Proof systems for two-way modal -calculus
- Estimating event probabilities via signal temporal logic and first occurrence distributions
- Embedding the Calendar and Time Type System in Temporal Type Theory
- Reasoning about group responsibility for exceeding risk threshold in one-shot games
- Linear-time temporal answer set programming
- Equilibria for games with combined qualitative and quantitative objectives
- Automata for branching and layered temporal structures. An investigation into regularities of infinite transition systems
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)
