Constraints for input/output logics

Journal of Philosophical Logic

Volumn 30, Issue 2, 2001, Pages 155-185

  Makinson, David ^a,b   Van Der Torre, Leendert ^c  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b Les Etangs B2 ^*  (France)

^c VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Consistency constraints; Contrary to duty obligations; Default logics; Deontic logic; Input output logic; Revision

Indexed keywords

EID: 0141821425     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1017599526096     Document Type: Article

References (14)

1. Alchourrón, C., Gärdenfors, P. and Makinson, D., 1985: On the logic of theory change: partial meet contraction and revision functions, J. Symbolic Logic 50, 510-530.
2. Alchourrón, C. and Makinson, D., 1982: On the logic of theory change: contraction functions and their associated revision functions, Theoria 48, 14-37.
3. Hansson, B., 1969: An analysis of some deontic logics, Nous 3, 373-398.
4. Reprinted in R. Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings, Reidel, Dordrecht, 1971 and 1981, pp. 121-147.
5. Hansson, S. O. and Makinson, D., 1997: Applying normative rules with restraint, in M. L. Dalla Chiara et al. (eds), Logic and Scientific Methods, Kluwer Acad. Publ., Dordrecht, pp. 313-332.
6. Makinson, D., 1994: General patterns in nonmonotonic reasoning, in D. Gabbay et al. (eds), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Oxford University Press, pp. 35-110.
7. Makinson, D., 1997: Screened revision, Theoria 63, 14-23.
8. Makinson, D., 1999: On a fundamental problem of deontic logic, in P. McNamara and H. Prakken (eds), Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science, Frontiers in Artificial Intelligence and Applications 49, IOS Press, Amsterdam, pp. 29-53.
9. Makinson, D. and van der Torre, L., 2000: Input/output logics, J. Philos. Logic 29, 383-408.
10. Poole, D., 1988: A logical framework for default reasoning, Artificial Intelligence 36, 27-47.
11. Reiter, R., 1980: A logic for default reasoning, Artificial Intelligence 13, 81-132.
12. van der Torre, L. W. N., 1997: Reasoning about Obligations: Defeasibility in Preference-Based Deontic Logic, Ph.D. Thesis, Erasmus University of Rotterdam, Tinbergen Institute Research Series 140, Amsterdam.
13. van der Torre, L. W. N., 1998: Phased labeled logics of conditional goals, in Logics in Artificial Intelligence, Proceedings of the Sixth European Workshop on Logics in AI(JELIA'98), Lecture Notes in Comput. Sci. 1489, Springer, Berlin, pp. 92-106.
14. van der Torre, L. W. N. and Tan, Y.-H., 1999: Contrary-to-duty reasoning with preference-based dyadic obligations, Ann. Math. Artificial Intelligence 27, 49-78.