Tableaux for Relation-Changing Modal Logics

TitleTableaux for Relation-Changing Modal Logics
Publication TypeConference Paper
Year of Publication2013
AuthorsAreces, C, Fervari, R, Hoffmann, G
EditorFontaine, P, Ringeissen, C, Schmidt, RA
Conference NameFrontiers of Combining Systems
AbstractWe consider dynamic modal operators that can change the relation of a model during the evaluation of a formula. In this paper, we extend the basic modal language with modalities that are able to delete,add or swap pairs of related elements of the domain; and explore tableau calculi as satisability procedures for these logics.
PDF (Full text): 
Work Package: