Towards an intuitionistic deontic logic tolerating conflicting obligations

DOI10.1007/978-3-031-15298-6_18OpenAlexW4297809277MaRDI QIDQ6160749FDOQ6160749

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

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

zbMATH Keywords

deontic logicsequent calculusintuitionistic modal logicnon-normal modal logicneighbourhood semantics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An intuitionistic reformulation of Mally's deontic logic
• Alternative semantics for deontic logic
• Constructive modal logics. I
• Intuitionistic non-normal modal logics: a general framework
• Title not available (Why is that?)
• Relational and neighborhood semantics for intuitionistic modal logic
• Intuitionistic basis for input/output logic
• Title not available (Why is that?)
• On an intuitionistic logic for pragmatics
• Prima facie norms, normative conflicts, and dilemmas
• Terminating sequent calculi for two intuitionistic modal logics
• Terminating calculi and countermodels for constructive modal logics
• The Došen square under construction: a tale of four modalities

Cited In (8)

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