Pages that link to "Item:Q5187870"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5187870):
Displaying 9 items.
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- LotrecScheme (Q2825417) (← links)
- $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine (Q3010372) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- The Tableau Workbench (Q4982114) (← links)
- Proof Search for the First-Order Connection Calculus in Maude (Q5179137) (← links)
- A Refined Resolution Calculus for CTL (Q5191106) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)