In this paper we describe a modal proof systemarising from the combination of a tableau-likeclassical system, which incorporates a restricted(``analytical'') version of the cut rule, with alabel formalism which allows for a specialised,logic dependant unification algorithm. The systemprovides a uniform proof-theoretical treatment offirst-order (normal) modal logics with identity,with and without Barcan formula and/or its converse
CITATION STYLE
Artosi, A., Benassi, P., Governatori, G., & Rotolo, A. (1998). Shakespearian modal logic: A Labelled Treatment of Modal Identity. In M. Kracht, M. de Rijke, H. Wansing, & M. Zakharyaschev (Eds.), Advances in Modal Logic. Volume 1 (pp. 1–21). Stanford: CSLI Publications. Retrieved from http://cslipublications.stanford.edu/site/157586102X.html
Mendeley helps you to discover research relevant for your work.