Towards an intuitionistic deontic logic tolerating conflicting obligations

DOI10.1007/978-3-031-15298-6_18MaRDI QIDQ6160749zbMATH OpenOpenAlexFDO

Authors Tiziano Dalmonte, Charles Grellois, N. Olivetti

Publication date 2 June 2023

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-15298-6_18

zbMATH Keywords

deontic logicsequent calculusintuitionistic modal logicnon-normal modal logicneighbourhood semantics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1932901
• A logic of comparative obligation
• Deontic logic as founded on nonmonotonic logic
• Resolving conflicting obligations in Mīmāṃsā: a sequent-based approach
• scientific article; zbMATH DE number 1139235

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• scientific article; zbMATH DE number 6741894 (Why is no real title available?)
• scientific article; zbMATH DE number 6741896 (Why is no real title available?)
• Alternative semantics for deontic logic
• An intuitionistic reformulation of Mally's deontic logic
• Constructive modal logics. I
• Intuitionistic basis for input/output logic
• Intuitionistic non-normal modal logics: a general framework
• On an intuitionistic logic for pragmatics
• Prima facie norms, normative conflicts, and dilemmas
• Relational and neighborhood semantics for intuitionistic modal logic
• Terminating calculi and countermodels for constructive modal logics
• Terminating sequent calculi for two intuitionistic modal logics
• The Došen square under construction: a tale of four modalities

Cited in

(8)

• Avoiding Deontic Explosion by Contextually Restricting Aggregation
• Reactive Kripke Models and Contrary to Duty Obligations
• Reactive Kripke models and contrary to duty obligations. Part A: Semantics
• An intuitionistic reformulation of Mally's deontic logic
• A logic of comparative obligation
• Evidence sensitivity in weak necessity deontic modals
• The Manchester twins: conflicts between directed obligations
• Impossible and conflicting obligations in justification logic

This page was built for publication: Towards an intuitionistic deontic logic tolerating conflicting obligations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160749)