Input/Output logics

Journal of Philosophical Logic

Volumn 29, Issue 4, 2000, Pages 383-408

  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

Conditional goals; Conditional obligations; Deontic logic; Identity; Input output logic; Reusability

Indexed keywords

EID: 0009730609     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004748624537     Document Type: Article

References (6)

1. Makinson, D., 1999. On a fundamental problem of deontic logic, in Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science 49, P. McNamara and H. Prakken (eds.), Frontiers in Artificial Intelligence and Applications, IOS Press, Amsterdam, pp. 29-53.
2. Makinson, D., 1994. General patterns in nonmonotonic reasoning, in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Gabbay, Hogger and Robinson (eds.), Oxford University Press, pp. 35-110.
3. Makinson, D. and L. van der Torre, (to appear). Constraints for input/output logics.
4. Reiter, R., 1980. A logic for default reasoning, Artificial Intelligence 13: 81-132.
5. 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 n° 140. Thesis Publishers: Amsterdam.
6. van der Torre, L. W. N., 1998. Phased labeled logics of conditional goals, 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.