The Impact of Including Model Update Operators in Modal Logics

Raul Fervari. The Impact of Including Model Update Operators in Modal Logics. In Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig, editors, Pristine Perspectives on Logic, Language, and Computation - ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers. Volume 8607 of Lecture Notes in Computer Science, pages 91-108, Springer, 2013. [doi]

Abstract

Abstract is missing.