A concept approach to input/output logic

DOI10.1016/J.JAL.2015.04.002zbMath1378.03020OpenAlexW1991483240MaRDI QIDQ898776

Audun Stolpe

Publication date: 18 December 2015

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2015.04.002

zbMATH Keywords

input/output logicformal concept analysisgeneration relationsproduction inference

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

Subordination algebras as semantic environment of input/output logic ⋮ Unsettling preferential semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Input/output logics
• Proof Theory, Semantics and Algebra for Normative Systems
• “Sing and Dance!”
• Combining Constitutive and Regulative Norms in Input/Output Logic
• An Embedding of Input-Output Logic in Deontic Logic Programs
• Normative Consequence: The Problem of Keeping It Whilst Giving It up
• Controlled Revision - An algorithmic approach for belief revision
• Explanatory Nonmonotonic Reasoning
• Abstract Interfaces of Input/Output Logic
• Intuitionistic Basis for Input/Output Logic
• Constraints for input/output logics

This page was built for publication: A concept approach to input/output logic