Browsing Artículos 2014 by Subject "Modal logic"
Now showing items 1-1 of 1
-
Swap logic
(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 ...