A Probabilistic Deontic Logic
| Title: | A Probabilistic Deontic Logic |
|---|---|
| Authors: | de Wit, Vincent; Doder, Dragan; Meyer, John-Jules; Sub Intelligent Systems; Sub General Intelligent Software Syst.; Intelligent Systems; Vejnarová, Jiřina; Wilson, Nic |
| Publication Year: | 2021 |
| Subject Terms: | Monadic deontic logic; Normative reasoning; Probabilistic logic; Completeness; Decidability; Taverne |
| Description: | 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. |
| Document Type: | book part |
| File Description: | application/pdf |
| Language: | English |
| ISSN: | 0302-9743 |
| Relation: | https://dspace.library.uu.nl/handle/1874/420297 |
| Availability: | https://dspace.library.uu.nl/handle/1874/420297 |
| Rights: | info:eu-repo/semantics/OpenAccess |
| Accession Number: | edsbas.FABC586 |
| Database: | BASE |