Pages that link to "Item:Q2265816"
From MaRDI portal
The following pages link to Decision procedures and expressiveness in the temporal logic of branching time (Q2265816):
Displaying 22 items.
- On the expressive power of hybrid branching-time logics (Q5079784) (← links)
- Branching-time logics and fairness, revisited (Q5084315) (← links)
- A Refined Resolution Calculus for CTL (Q5191106) (← links)
- (Q5202985) (← links)
- Alternating automata: Unifying truth and validity checking for temporal logics (Q5234701) (← links)
- Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> (Q5277905) (← links)
- Parametrised Complexity of Satisfiability in Temporal Logic (Q5278205) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
- Finite and Circular Path Models for Branching Time Logics (Q5753939) (← links)
- Axiomatising extended computation tree logic (Q5878903) (← links)
- To be announced (Q6040661) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- Temporal Logic with Recursion. (Q6060093) (← links)
- One-pass Context-based Tableaux Systems for CTL and ECTL (Q6060101) (← links)
- Dynamic temporal logical operations in multi-agent logics (Q6072992) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\) (Q6535408) (← links)
- Automated temporal reasoning about reactive systems (Q6560389) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)
- Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)
