Sahlqvist Formulas Unleashed in Polyadic Modal Languages
In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. World Scientific. pp. 221-240 (2002)
Abstract
We propose a generalization of Sahlqvist formulae
to polyadic modal languages by representing modal polyadic languages in a
combinatorial style and thus, in particular, developing what we believe to
be the right approach to Sahlqvist formulae at all. The class of polyadic
Sahlqvist formulae PSF defined here expands essentially the so far known
one. We prove first-order definability and canonicity for the class PSF.
Categories
(categorize this paper)
ISBN(s)
PhilPapers/Archive ID
GORSFU
Upload history
Archival date: 2018-04-20
View other versions
View other versions
Added to PP index
2018-02-17
Total views
158 ( #31,653 of 58,485 )
Recent downloads (6 months)
26 ( #29,321 of 58,485 )
2018-02-17
Total views
158 ( #31,653 of 58,485 )
Recent downloads (6 months)
26 ( #29,321 of 58,485 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.