Global vs. local in basic modal logic

We discuss results on global definability in basic modal logic, and contrast our model-theoretic results and proof techniques with known results about local definability.

[1]  Eric Rosen,et al.  Modal Logic over Finite Structures , 1997, J. Log. Lang. Inf..

[2]  Marcus Kracht,et al.  Simulation and Transfer Results in Modal Logic – A Survey , 1997, Stud Logica.

[3]  Valentin Goranko,et al.  Modal logic with names , 1993, J. Philos. Log..

[4]  Lawrence S. Moss,et al.  Modal Correspondence for Models , 1998, J. Philos. Log..

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

[6]  Holger Sturm,et al.  Modale Fragmente von Lww und Lw1w , 1997 .

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

[8]  Valentin Goranko,et al.  Using the Universal Modality: Gains and Questions , 1992, J. Log. Comput..

[9]  M. Kracht.  Tools and Techniques in Modal Logic , 1999 .

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

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