• 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...