A concept approach to input/output logic
From MaRDI portal
Publication:898776
DOI10.1016/J.JAL.2015.04.002zbMATH Open1378.03020OpenAlexW1991483240MaRDI QIDQ898776FDOQ898776
Authors: 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
Recommendations
- Input/output logics
- Abstract interfaces of input/output logic
- scientific article; zbMATH DE number 6741901
- Intuitionistic basis for input/output logic
- Constraints for input/output logics
- On the complexity of input/output logic
- On the Complexity of Input/Output Logic
- A theory of input-output architecture
- Adaptive logic characterizations of input/output logic
Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The connectives
- Title not available (Why is that?)
- Input/output logics
- ``Sing and dance!. Input/output logics without weakening
- An embedding of input-output logic in deontic logic programs
- Normative Consequence: The Problem of Keeping It Whilst Giving It up
- Title not available (Why is that?)
- Explanatory Nonmonotonic Reasoning
- Constraints for input/output logics
- Title not available (Why is that?)
- Controlled Revision - An algorithmic approach for belief revision
- Proof Theory, Semantics and Algebra for Normative Systems
- Combining constitutive and regulative norms in input/output logic
- Abstract interfaces of input/output logic
- Intuitionistic basis for input/output logic
- Title not available (Why is that?)
- The theory of joining-systems
Cited In (3)
This page was built for publication: A concept approach to input/output logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898776)
