Tableaux for Relation-Changing Modal Logics
| Title | Tableaux for Relation-Changing Modal Logics |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Areces, C, Fervari, R, Hoffmann, G |
| Editor | Fontaine, P, Ringeissen, C, Schmidt, RA |
| Conference Name | Frontiers of Combining Systems |
| Abstract | We 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:
WP2
