Global Definability in Basic Modal Logic

  title={Global Definability in Basic Modal Logic},
  author={Maarten de Rijke and Holger Sturm},
We present results on global definability in basic modal logic, and contrast our model-theoretic results and proof techniques with known results about local definability. 

From This Paper

Figures, tables, and topics from this paper.
9 Citations
18 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 18 references

Modal-axiomatic closure of Kripke models

  • G. Hansoul
  • In: H. Andréka, D. Monk, and I. Németi, editors…
  • 1991
Highly Influential
11 Excerpts

Metamathematics of modal logic I

  • R. Goldblatt
  • Reports on Mathematical Logic, 6:41–78,
  • 1976
Highly Influential
5 Excerpts

Modal Logic, Manuscript, ILLC

  • P. Blackburn, M. de Rijke, Y. Venema
  • University of Amsterdam,
  • 1998
Highly Influential
6 Excerpts

Modal Logic and Classical Logic

  • J.F.A.K. van Benthem
  • 1985
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…