Results 1 to 3 of 3
Sort by:

  • SQEMA
  • Referenced in 40 articles [sw03056]
  • 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...

  • TABLEAUX
  • Referenced in 18 articles [sw11674]
  • TABLEAUX: A general theorem prover for modal logics...

  • Pesca
  • Referenced in 164 articles [sw13664]
  • PESCA = Proof Editor for Sequent Calculus: Pesca is...