Proof Analysis in Deontic Logics

DOI10.1007/978-3-319-08615-6_11zbMath1445.03028OpenAlexW2215786367MaRDI QIDQ2879296

Eugenio Orlandelli

Publication date: 8 September 2014

Published in: Deontic Logic and Normative Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08615-6_11

zbMATH Keywords

structural rulessequent calculiproof analysisnon-normal modal logicsdeontic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Mīmāṃsā Deontic Logic: Proof Theory and Applications ⋮ Logical analysis of emotions in text from natural language ⋮ Proof-theoretic analysis of the logics of agency: the deliberative STIT ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

This page was built for publication: Proof Analysis in Deontic Logics