Sahlqvist Formulas Unleashed in Polyadic Modal Languages
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240 (2002)
Abstract
We propose a generalization of Sahlqvist formulas to polyadic modal languages by representing such languages in a combinatorial PDL style and thus, in particular, developing what we believe to be the right syntactic approach to Sahlqvist formulas at all. The class of polyadic Sahlqvist formulas PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
Categories
ISBN(s)
PhilPapers/Archive ID
GORSFU-2
Upload history
Archival date: 2020-07-13
View other versions
View other versions
Added to PP index
2020-02-06
Total views
113 ( #48,745 of 70,272 )
Recent downloads (6 months)
18 ( #41,975 of 70,272 )
2020-02-06
Total views
113 ( #48,745 of 70,272 )
Recent downloads (6 months)
18 ( #41,975 of 70,272 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.