How to build input/output logic

DOI10.1007/978-3-319-09764-0_8MaRDI QIDQ2921963zbMATH OpenOpenAlexFDO

Authors Xin Sun

Publication date 14 October 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://orbilu.uni.lu/handle/10993/19578

zbMATH Keywords

deontic logicinput/ouput logicnorms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 2019850
• ``Sing and dance!. Input/output logics without weakening
• Combining constitutive and regulative norms in input/output logic
• Input/output logics
• On the complexity of input/output logic

Cited in

(12)

• Input/output logics
• On the complexity of input/output logic
• The logic of reusable propositional output with the fulfilment constraint
• ``Sing and dance!. Input/output logics without weakening
• Combining constitutive and regulative norms in input/output logic
• Adaptive logic characterizations of input/output logic
• Boolean Game with Prioritized Norms
• scientific article; zbMATH DE number 2019850 (Why is no real title available?)
• Reified input/output logic: combining input/output logic and reification to represent norms coming from existing legislation
• Intuitionistic basis for input/output logic
• scientific article; zbMATH DE number 6741901 (Why is no real title available?)
• Goal-directed decision procedures for input/output logics

This page was built for publication: How to build input/output logic

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