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
Abstract
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
1990
PhilPapers/Archive ID
VALMDI
Upload history
Archival date: 2018-04-20
View other versions
Added to PP index
2010-08-24

Total views
47 ( #43,753 of 51,715 )

Recent downloads (6 months)
4 ( #49,861 of 51,715 )

How can I increase my downloads?

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