Pages that link to "Item:Q5187875"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5187875):
Displaying 10 items.
- Embedding and automating conditional logics in classical higher-order logic (Q1935597) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Systems and Implementations for Solving Reasoning Problems in Conditional Logics (Q2807073) (← links)
- CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces (Q3010357) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- (Q4252522) (← links)
- lean TAP revisited (Q4399512) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)