Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo  Home/Search
Context Related
| uq.edu.au/~guido/Papers/_K...aiml96.pdf From: uq.edu.au/~guido/Papers/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 (Update)
Similar documents based on text: More All
0.3: Representation Results for Defeasible Logic - Antoniou, Billington.. (2001) (Correct)
0.3: Actions, Institutions, Powers. Preliminary Notes - Governatori, Gelati, Rotolo.. (2002) (Correct)
0.3: A Flexible Framework for Defeasible Logics - Antoniou, Billington.. (2000) (Correct)
BibTeX entry: (Update)
A. Artosi, P. Benassi, G. Governatori, and A. Rotolo. Shakespearian modal logic: A labelled treatment of modal identity. Advances in Modal Logic, 1-21, 1998. http://citeseer.ist.psu.edu/artosi98shakespearian.html More
@incollection{ advances,
author = {Artosi, Alberto and Benassi, Paola and Governatori,
Guido and Rotolo, Antonino},
title = {Shakespearian modal logic: A Labelled Treatment of
Modal Identity},
booktitle = {Advances in Modal Logic. Volume 1},
ISBN = {157586102X},
publisher = {CSLI Publications},
year = 1998,
editor = {Kracht, Marcus and de Rijke, Maarten and Wansing,
Heinrich and Zakharyaschev, Michael},
address = {Stanford},
pages = {1-21},
url = {citeseer.ist.psu.edu/artosi98shakespearian.html} }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.itee.uq.edu.au/~guido/Papers/index.html): More
KE+: Beyond Refutation - Governatori (1995) (Correct)
Ideality and Subideality From a Computational Point of View - Governatori (1998) (Correct)
Modifying is Better than Deleting: A New Appraoch to Base.. - Governatori, Di Giusto (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC