In this paper we present a theorem proving methodology for a restricted but significant fragment of the conditional language made up of (boolean combinations of) conditional statements with unnested antecedents. The method is based on the possible world semantics for co... View more
ABGR96. Alberto Artosi, Paola Benassi, Guido Governatori, and Antonino Rotolo. Labelled proofs for quantified modal logic. In J.J. Alferes, L. M. Pereira, and E. Orlowska (eds.), Logics in Artificial Intelligence, pages 70-86, LNAI 1126, Springer-Verlag, Berlin, 1996.
AG94. Alberto Artosi and Guido Governatori. Labelled model modal logic. In Workshop on Automated Model Building, pages 11-17, CADE 12, Nancy, 1994.
AGS96. Alberto Artosi, Guido Governatori, and Giovanni Sartor. Towards a computational treatment of deontic defeasibility. In M.A. Brown and J.
Alc93. Carlos E. Alchourr´on. Philosophical foundations of deontic logic and the logic of defeasible conditionals. In J.-J.Ch. Meyer and R.J. Wieringa (eds.), Deontic Logic in Computer Science: Normative System Specification, pages 43-84. Wiley & Sons, 1993.
Alc96. Carlos E. Alchourr´on. Defeasible logics: demarcation and affinities. In L. Farin˜as del Cerro and G. Crocco (eds.), Conditional Logic: From Philosophy to Computer Science, pages 67-102. Oxford U.P., Oxford, 1996.
Bel90. John Bell. The logic of nonmonotonicity. Artificial Intelligence, 41: 365- 374, 1990.
Bel91. John Bell. Pragmatic logic. In J. Allen, R. Fikes, and E. Sandwall (eds.), Principles of Knowledge Representation and Reasoning (KR'91), pages 50- 60, Morgan Kaufman Publishers, San Matteo (Ca), 1991.
Craig Boutilier. Conditional logics of normality: a modal approach. Artificial Intelligence, 68: 87-154, 1994.
Brian F. Chellas. Conditional obligation. In S. Stenlund (ed.), Logical Theory and Semantic Analysis, pages: 23-33, D. Reidel Publi. Co., Dordrecht, 1974.