• SQEMA

  • Referenced in 40 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA ... introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae...