Towards an intuitionistic deontic logic tolerating conflicting obligations
From MaRDI portal
Publication:6160749
DOI10.1007/978-3-031-15298-6_18OpenAlexW4297809277MaRDI QIDQ6160749
Charles Grellois, Tiziano Dalmonte, Nicola 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
sequent calculusdeontic logicintuitionistic modal logicnon-normal modal logicneighbourhood semantics
Cites Work
- An intuitionistic reformulation of Mally's deontic logic
- Constructive modal logics. I
- Intuitionistic non-normal modal logics: a general framework
- Terminating calculi and countermodels for constructive modal logics
- The Došen square under construction: a tale of four modalities
- On an intuitionistic logic for pragmatics
- Terminating sequent calculi for two intuitionistic modal logics
- Intuitionistic Basis for Input/Output Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item