Modal Definability in Enriched Languages

The paper deals with polymodal languages combined with stan­ dard 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 correspon­ dence 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. 81

[1]  Lloyd Humberstone.  Inaccessible worlds , 1983, Notre Dame J. Formal Log..

[2]  R. Goldblatt.  Metamathematics of modal logic , 1974, Bulletin of the Australian Mathematical Society.

[3]  Tinko Tinchev,et al.  PDL with Data Constants , 1985, Inf. Process. Lett..

[4]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[5]  J.F.A.K. van Benthem.  Minimal Deontic Logics , 1979 .

[6]  K. Fine.  Some Connections Between Elementary and Modal Logic , 1975 .

[7]  S. K. Thomason,et al.  AXIOMATIC CLASSES IN PROPOSITIONAL MODAL LOGIC , 1975 .

[8]  Tinko Tinchev,et al.  Modal Environment for Boolean Speculations , 1987 .

[9]  Henrik Sahlqvist.  Completeness and Correspondence in the First and Second Order Semantics for Modal Logic , 1975 .

[10]  V. Goranko.  Completeness and Incompleteness in the Bimodal Base ℒ(R,−R) , 1990 .

[11]  Robert Goldblatt,et al.  Semantic analysis of orthologic , 1974, J. Philos. Log..

[12]  Desmond Fearnley-Sander,et al.  Universal Algebra , 1982 .

[13]  George Gratzer,et al.  Universal Algebra , 1979 .

[14]  Steven K. Thomason,et al.  Reduction of second-order logic to modal logic , 1975, Math. Log. Q..

[15]  J. F. A. K. van Benthem.  Modal logic as second-order logic , 1977 .

[16]  R. Goodstein.  Boolean algebra , 1963 .

[17]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[18]  R. Labrecque.  The Correspondence Theory , 1978 .

[19]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[20]  B. Jonnson.  Algebras Whose Congruence Lattices are Distributive. , 1967 .

[21]  J.F.A.K. van Benthem,et al.  Modal logic and classical logic , 1983 .

[22]  J.F.A.K. van Benthem,et al.  Modal Correspondence Theory , 1977 .