Saturated neighbourhood models of Monotonic Modal Logics

• Autores: Sergio Arturo Celani
• Localización: Revista de la Unión Matemática Argentina, ISSN 0041-6932, ISSN-e 1669-9637, Vol. 49, Nº. 1, 2008, págs. 111-121
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • In this paper we shall introduce the notions of point-closed, point-compact, and m-saturated monotonic neighbourhood models. We will give some characterizations, and we will prove that the ultrafilter extension and the valuation extension of a model are m-saturated.

• Referencias bibliográficas
  • Chellas, B. F.. (1980). Modal Logic: an introduction. Cambridge Univ. Press.
  • Goldblatt, R.. (2006). Maps and Monads for Modal Frames. Studia Logica. 83. 309-331
  • Goldblatt, R.. (1993). Mathematics of Modality. 43.
  • Goldblatt, R.. (1992). Logics of Time and Computation. 7.
  • Hansen, H. H., Kupke, C.. (2004). A Coalgebraic Perspective on Monotone Modal Logic. Electronic Notes in Theoretical Computer Science. Elsevier....
  • Hansen, H. H.. Monotonic modal logic.
  • Hollenberg, M. J.. (1995). Modal Logic and Process Algebra: a Bisimulation Perspective. CSLI Publications. 187-216