The logic of reusable propositional output with the fulfilment constraint

zbMATH Open0970.03031MaRDI QIDQ2701987

Leendert van der Torre

Publication date: 21 October 2001

zbMATH Keywords

normsconsistency constraintsdeontic logicinput/output logicfulfilment

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Classical propositional logic (03B05)

Related Items (2)

Permission from an input/output perspective ⋮ Constraints for input/output logics

This page was built for publication: The logic of reusable propositional output with the fulfilment constraint

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