a sahlqvist theorem for distributive modal logic：分布式模态逻辑的一个sahlqvist定理.pdfVIP

ANNALS OF PURE AND APPLIED LOGIC Annals of Pure and Applied Logic 131 (2005) 65–102 /locate/apal A Sahlqvist theorem for distributive modal logic a,∗ b c Mai Gehrke , Hideo Nagahashi , Yde Venema aDepartment of Mathematical Sciences, New Mexico State University, Las Cruces, NM 88003, USA bDepartment of Mathematics, University of Arizona, Tucson, AZ 85721, USA cInstitute of Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands Received 12 September 2002; received in revised form 25 March 2004; accepted 28 April 2004 Available online 24 July 2004 Communicated by S.N. Artemov Dedicated to Bjarni J´onsson Abstract In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the form of ordered Kripke structures. The main contributions of this paper lie in extending the notion of Sahlqvist axioms to our generalized setting and proving both a corre