TTM
From MaRDI portal
Software:23931
No author found.
Related Items (15)
A derivation-loop method for temporal logic ⋮ Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method ⋮ More efficient proof-search for sequents of temporal logic ⋮ Invariant-free clausal temporal resolution ⋮ Unnamed Item ⋮ Loop-type sequent calculi for temporal logic ⋮ Cut-free sequent systems for temporal logic ⋮ An axiomatization of ECTL ⋮ Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) ⋮ Unnamed Item ⋮ A Cut-Free and Invariant-Free Sequent Calculus for PLTL ⋮ On the proof theory of the modal mu-calculus ⋮ Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach ⋮ Dual systems of tableaux and sequents for PLTL ⋮ Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
This page was built for software: TTM
