Pages that link to "Item:Q2805273"
From MaRDI portal
The following pages link to Temporal Logics in Computer Science (Q2805273):
Displaying 25 items.
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- On the expressive power of hybrid branching-time logics (Q1989342) (← links)
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) (Q2029608) (← links)
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\) (Q2094389) (← links)
- Pardinus: a temporal relational model finder (Q2102939) (← links)
- Local higher-order fixpoint iteration (Q2105477) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- A focus system for the alternation-free \(\mu \)-calculus (Q2142090) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- Temporal logics with language parameters (Q2232279) (← links)
- ``Most of'' leads to undecidability: failure of adding frequencies to LTL (Q2233396) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Model checking for hybrid branching-time logics (Q2291813) (← links)
- Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- (Q5079784) (← links)
- Propositional Dynamic Logic for Hyperproperties (Q5089318) (← links)
- (Q5111630) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
- The tail-recursive fragment of timed recursive CTL (Q6077845) (← links)
- Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic (Q6135954) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- Temporal logics with language parameters (Q6186316) (← links)
