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