PP200209: Gehrke, Mai and Nagahashi, Hideo and Venema, Yde (2002) A Sahlqvist Theorem for Distributive Modal Logic. [Report]
Text (Full Text (PS))
PP200209.text.ps.gz Download (158kB) 

Preview 
Text (Full Text (PDF))
PP200209.text.pdf Download (362kB)  Preview 
Text (Abstract)
PP200209.abstract.txt Download (1kB) 
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 correspondence and a canonicity result for
distributive modal logics axiomatized by Sahlqvist axioms. Our proof
of the correspondence result relies on a reduction to the classical
case, but our canonicity proof departs from the traditional style and
uses the newly extended algebraic theory of canonical extensions.
Item Type:  Report 

Report Nr:  PP200209 
Series Name:  Prepublication (PP) Series 
Year:  2002 
Uncontrolled Keywords:  distributive modal logic, distributive modal algebras, lattice expansions, canonical extensions, correspondence theory, canonical logic, canonical varieties, duality 
Subjects:  Logic 
Date Deposited:  12 Oct 2016 14:36 
Last Modified:  12 Oct 2016 14:36 
URI:  https://eprints.illc.uva.nl/id/eprint/73 
Actions (login required)
View Item 