Proof analysis in deontic logics

DOI10.1007/978-3-319-08615-6_11zbMATH Open1445.03028OpenAlexW2215786367MaRDI QIDQ2879296FDOQ2879296

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

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

zbMATH Keywords

sequent calculiproof analysisstructural rulesnon-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)

Cited In (9)

• On the finite model property of non-normal modal logics
• On the reduction of modalities in deontic calculi
• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• Logical analysis of emotions in text from natural language
• Is, ought, and cut
• Mīmāṃsā Deontic Logic: Proof Theory and Applications
• Title not available (Why is that?)
• Resolution calculi for non-normal modal logics
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic 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)