Journal of Logic and Computation

TitleNon-monotonic reasoning with normative conflicts in multi-agent deontic logic
Publication TypeJournal Article
Year of Publication2013
AuthorsBeirlaen, M, Straßer, C
JournalJournal of Logic and Computation
Volume24
Number6
Pagination1179–1207
Abstract

We present two multi-agent deontic logics that consistently accommodate various types of normative conflicts. Its language features modal operators for obligation and permission, and for the realization of individual and collective actions. The logic is non-classical since it makes use of a paraconsistent and paracomplete negation connective. Moreover, it is non-monotonic due to its definition within the adaptive logics framework for defeasible reasoning. The logic is equipped with a defeasible proof theory and semantics.

DOI10.1093/logcom/exs059
Citation Keybeirlaen2013non
Download PDF (Author PDF)
PDF author (public):