Search
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 ...