- Referenced in 40 articles
- formulae, and thus established a very general correspondence and canonical completeness result. SQEMA is based ... modal formulae containing an extension of the Sahlqvist formulae, defined by replacing polarity with monotonicity...
- Referenced in 18 articles
- TABLEAUX: A general theorem prover for modal logics...
- Referenced in 164 articles
- PESCA = Proof Editor for Sequent Calculus: Pesca is...