Modal definability in enriched languages

Notre Dame Journal of Formal Logic 31 (1):81-105 (1989)
Download Edit this record How to cite View on PhilPapers
The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced.
Reprint years
PhilPapers/Archive ID
Upload history
Archival date: 2018-04-20
View other versions
Added to PP index

Total views
60 ( #48,791 of 2,426,000 )

Recent downloads (6 months)
8 ( #52,046 of 2,426,000 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.