The following pages link to TABLEAUX (Q23614):
Displaying 19 items.
- Proof analysis in modal logic (Q812101) (← links)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
- Resolution theorem proving in reified modal logics (Q1332644) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- (Q4249898) (← links)
- (Q4282525) (← links)
- (Q4537437) (← links)
- A resolution-based proof method for temporal logics of knowledge and belief (Q4632296) (← links)
- Distributed modal theorem proving with KE (Q4645234) (← links)
- A simple tableau system for the logic of elsewhere (Q4645235) (← links)
- Model Theoretic Syntax and Parsing (Q4923571) (← links)
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
- Strongly analytic tableaux for normal modal logics (Q5210808) (← links)
- A new method for testing decision procedures in modal logics (Q5234709) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)