Proof analysis in deontic logics

DOI10.1007/978-3-319-08615-6_11MaRDI QIDQ2879296zbMATH OpenOpenAlexFDO

Authors 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

deontic logicsnon-normal modal logicsproof analysissequent calculistructural rules

Mathematics Subject Classification ID

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

Recommendations

• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Proof analysis in non-classical logics
• On the reduction of modalities in deontic calculi
• Sequent Calculi for Multi-modal Logic with Interaction
• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity

Cited in

(9)

• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• Mīmāṃsā Deontic Logic: Proof Theory and Applications
• scientific article; zbMATH DE number 3926881 (Why is no real title available?)
• On the reduction of modalities in deontic calculi
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Logical analysis of emotions in text from natural language
• Is, ought, and cut
• Resolution calculi for non-normal modal logics
• On the finite model property of non-normal modal logics

This page was built for publication: Proof analysis in deontic logics

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