Undecidability of Relation-Changing Modal Logics.

Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel

Browse the full TABLEAUX paper archive.