Merkliste 
 1 Ergebnisse 
 
1

Undecidability of relation-changing modal logics:

, In: Dynamic Logic. New Trends and Applications / edited by Alexandre Madeira, Mário Benevides