The following pages link to ModLeanTAP (Q24297):
Displaying 19 items.
- Liberalized variable splitting (Q877894) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- MleanCoP: A Connection Prover for First-Order Modal Logic (Q3192198) (← links)
- (Q3563381) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Tableau methods for formal verification of multi-agent distributed systems (Q4209290) (← links)
- (Q4263012) (← links)
- (Q4263017) (← links)
- (Q4411160) (← links)
- (Q4412865) (← links)
- An analysis of empirical testing for modal decision procedures (Q4487264) (← links)
- (Q4520768) (← links)
- Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations (Q4796462) (← links)
- (Q5015283) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187874) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning (Q5434493) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479291) (← links)
- Free-variable tableaux for propositional modal logics (Q5955622) (← links)
