The following pages link to (Q4539633):
Displaying 9 items.
- MODPROF (Q33350) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- A benchmark method for the propositional modal logics K, KT, S4 (Q1977575) (← links)
- Embedding Deduction Modulo into a Prover (Q3586040) (← links)
- (Q3821629) (← links)
- A New, Simpler Proof of the Modularisation Theorem for Logical Specifications (Q4291868) (← links)
- (Q4518870) (← links)
- Theorem Provers For Every Normal Modal Logic (Q4645724) (← links)
- Automated Reasoning (Q5307079) (← links)