Goal-directed decision procedures for input/output logics

MaRDI QIDQ5878386zbMATH OpenFDO

Authors Alexander Steen

Publication date 21 February 2023

zbMATH Keywords

automated reasoningdeontic logicI/O logicsnormative reasoning

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Recommendations

• ``Sing and dance!. Input/output logics without weakening
• scientific article; zbMATH DE number 2019850
• How to build input/output logic
• On the complexity of input/output logic
• Input/output logics

Cited in

(4)

• Permission from an input/output perspective
• From input/output logics to conditional logics via sequents -- with provers
• scientific article; zbMATH DE number 3332896 (Why is no real title available?)
• Subordination algebras as semantic environment of input/output logic

This page was built for publication: Goal-directed decision procedures for input/output logics

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