The Range of Modal Logic

ABSTRACT George Gargov was an active pioneer in the ‘Sofia School’ of modal logicians. Starting in the 1970s, he and his colleagues expanded the scope of the subject by introducing new modal expressive power, of various innovative kinds. The aim of this paper is to show some general patterns behind such extensions, and review some very general results that we know by now, 20 years later. We concentrate on simulation invariance, decidability, and correspondence. What seems clear is that ‘modal logic’ as a genre of logical systems has a much wider scope than originally conceived, and that we have not reached its limits yet.

[1]  Dimiter Vakarelov,et al.  A model logic for similarity relations in pawlak knowledge representation systems , 1991, Fundam. Informaticae.

[2]  Jan A. Bergstra,et al.  Logic of transition systems , 1994, J. Log. Lang. Inf..

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

[4]  Erich Grädel,et al.  On the Restraining Power of Guards , 1999, Journal of Symbolic Logic.

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

[6]  Luis Fariñas del Cerro,et al.  Modal Logics for Incidence Geometries , 1997, J. Log. Comput..

[7]  S. Orey.  Model theory for the higher order predicate calculus , 1959 .

[8]  J. Benthem.  Essays in Logical Semantics , 1986 .

[9]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[10]  J.F.A.K. van Benthem,et al.  Language in Action: Categories, Lambdas and Dynamic Logic , 1997 .

[11]  Maarten Marx,et al.  Multi-dimensional modal logic , 1997, Applied logic series.

[12]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[13]  Valentin Goranko,et al.  Modal Definability in Enriched Languages , 1989, Notre Dame J. Formal Log..

[14]  Y. Venema.  A crash course in arrow logic , 1994 .

[15]  Maarten de Rijke,et al.  Simulating Without Negation , 1997, J. Log. Comput..

[16]  Michael Zakharyaschev,et al.  Modal Logic , 1997, Oxford logic guides.

[17]  Yde Venema.  Cylindric modal logic , 1993 .

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

[19]  Kees Doets,et al.  Basic model theory , 1996, Studies in logic, language and information.

[20]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[21]  Phokion G. Kolaitis,et al.  On the Decision Problem for Two-Variable First-Order Logic , 1997, Bulletin of Symbolic Logic.

[22]  Patrick Blackburn.  Nominal tense logic and other sorted intensional frameworks , 1990 .

[23]  M. de Rijke.  Extending modal logic , 1993 .

[24]  Yde Venema,et al.  Many-dimensional Modal Logic , 1991 .

[25]  J. Benthem.  DYNAMIC BITS AND PIECES , 1997 .

[26]  Yuri Gurevich,et al.  The Classical Decision Problem , 1997, Perspectives in Mathematical Logic.

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