Shakespearian Modal Logic: A Labelled Treatment Of Modal Identity (1998)
by
Alberto Artosi
,
Paola Benassi
,
Guido Governatori
,
Antonino Rotolo
| Citations: | 14 - 12 self |
BibTeX
@MISC{Artosi98shakespearianmodal,
author = {Alberto Artosi and Paola Benassi and Guido Governatori and Antonino Rotolo},
title = {Shakespearian Modal Logic: A Labelled Treatment Of Modal Identity},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we describe a modal proof system arising from the combination of a tableau-like classical system, which incorporates a restricted ("analytical") version of the cut rule, with a label formalism which allows for a speicialised, logic dependant unification algorithm. The system provides a uniform proof-theoretical treatment of first-order (normal) modal logics with identity, with and without Barcan formula and/or its converse 1
