Abstract
In this paper we analyze various derivation rules of input/output logic in isolation and define the corresponding semantics. We develop fixed point characterizations for input/output logic involving rules of cumulative transitivity and present new completeness proofs. A toolbox to build input/output logic is therefore created. We use this toolbox to correct a hasty mistake appeared in the work of applying input/output logic to constitutive norms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Lewis, D.: Counterfactuals. Blackwell, Oxford (1973)
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 der Meyden, 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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Sun, X. (2014). How to Build Input/Output Logic. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2014. Lecture Notes in Computer Science(), vol 8624. Springer, Cham. https://doi.org/10.1007/978-3-319-09764-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-09764-0_8
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09763-3
Online ISBN: 978-3-319-09764-0
eBook Packages: Computer ScienceComputer Science (R0)