Areces, Carlos Eduardo; Fervari, Raúl Alberto; Hoffmann, Guillaume Emmanuel (2014)
We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ...