# Elementary canonical formulae: extending Sahlqvist’s theorem

*Annals of Pure and Applied Logic*141 (1):180-217 (2006)

**Abstract**

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames

**Keywords**

**Categories**

(categorize this paper)

**PhilPapers/Archive ID**

GORECF

**Revision history**

Archival date: 2018-04-20

View upload history

View upload history

References found in this work BETA

Varieties of Complex Algebras.Goldblatt, Robert

View all 15 references / Add more references

Citations of this work BETA

Modal and Temporal Extensions of Non-Distributive Propositional Logics.Hartonas, Chrysafis

Algorithmic Correspondence and Canonicity for Distributive Modal Logic.Conradie, Willem & Palmigiano, Alessandra

Canonicity Results of Substructural and Lattice-Based Logics.Suzuki, Tomoyuki

Sahlqvist Correspondence for Modal Mu-Calculus.van Benthem, Johan; Bezhanishvili, Nick & Hodkinson, Ian

View all 13 citations / Add more citations

**Added to PP index**

2013-12-31

**Total views**

26 ( #34,411 of 38,910 )

**Recent downloads (6 months)**

10 ( #29,939 of 38,910 )

How can I increase my downloads?

**Monthly downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks to external links.*