Sun, Xin ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
How to build input/output logic
Publication date :
2014
Event name :
15th International Workshop on Computational Logic in Multi-Agent Systems
Event date :
from 18-08-2014 to 19-08-2014
Main work title :
15th International Workshop on Computational Logic in Multi-Agent Systems
Alchourron, C., Bulygin, E.: Normative Systems. Springer, Wien (1971)
Bochman, A.: A causal approach to nonmonotonic reasoning. Artificial intelligence 160(1-2), 105-143 (2004)
Boella, G., van der Torre, L.: A logical architecture of a normative system. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 24-35. Springer, Heidelberg (2006)
Broome, J.: Rationality Through Reasoning. Wiley-Blackwell, West Sussex (2013)
Chellas, B.: Modal logic: an introduction. Cambridge University Press, Cambridge (1980)
Tosatto, S.C., Boella, G., van der Torre, L., Villata, S.: Abstract normative systems: Semantics and proof theory. In: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 358-368 (2012)
Danielsson, S.: Preference and Obligation: Studies in the Logic of Ethics. Filosofiska Freningen, Uppsala (1968)
Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.): Handbook of Deontic Logic and Normative Systems. College Publications, London (2013)
Hansson, B.: An analysis of some deontic logics. Noûs, pp. 373-398 (1969)
Horty, J.: Agency and Deontic Logic. Oxford University Press, New York (2001)
Jones, A., Sergot, M.: A formal characterization of institutionalised power. Logic Journal of the IGPL 3, 427-443 (1996)
Kooi, B., Tamminga, A.: Moral conflicts between groups of agents. Journal of Philosophical Logic 37, 1-21 (2008)
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383-408 (2000)
Makinson, D., van der Torre, L.: Constraints for input/output logics. Journal of Philosophical Logic 30(2), 155-185 (2001)
Makinson, D., van der Torre, L.: Permission from an input/output perspective. Journal of Philosophical Logic 32, 391-416 (2003)
Parent, X., Gabbay, D., van der Torre, L.: An intuitionistic basis for input/output logic. In: Hasson, S.O. (ed.) David Makinson on Classical Methods for Non-Classical Problems. Springer (2012)
Parent, X., van der Torre, L.: I/O logic. In: Horty, J., Gabbay, D., Parent, X., van derMeyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, College Publications (2013)
Parent, X., van der Torre, L.: Put your parachute on, and jump out! Technical report (2014), to appear in Proceedings of DEON 2014
Ross, A.: Imperatives and logic. Theoria 7(5371) (1941)
Stolpe, A.: Normative consequence: The problem of keeping it whilst giving it up. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 174-188. Springer, Heidelberg (2008)
Tarski, A.:A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5(2), 285-309 (1955)
von Wright, G.: Deontic logic. Mind 60, 1-15 (1952)
