• SQEMA

  • Referenced in 40 articles [sw03056]
  • modal logic. IV. Semantic extensions of SQEMA. In [{it W. E. Conradie, V. F. Goranko ... introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae ... very general correspondence and canonical completeness result. SQEMA is based on transformation rules, the most ... this paper we develop several extensions of SQEMA where that syntactic condition is replaced...