A Probabilistic Deontic Logic
Publication date
2021
Authors
de Wit, Vincent
Doder, Dragan
Meyer, J-J.Ch.
Editors
Vejnarová, Jiřina
Wilson, Nic
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
taverne
Abstract
In this article, we introduce a logic for reasoning about probability of normative statements. We present its syntax and semantics, describe the corresponding class of models, provide an axiomatization for this logic and prove that the axiomatization is sound and complete. We also prove that our logic is decidable.
Keywords
Monadic deontic logic, Normative reasoning, Probabilistic logic, Completeness, Decidability, Taverne
Citation
de Wit, V, Doder, D & Meyer, J-J 2021, A Probabilistic Deontic Logic. in J Vejnarová & N Wilson (eds), Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 12897, Springer, pp. 616-628. https://doi.org/10.1007/978-3-030-86772-0_44