Abstract interfaces of input/output logic

DOI10.1007/978-94-007-7759-0_12zbMATH Open1311.03042OpenAlexW2155160000MaRDI QIDQ5250313FDOQ5250313

Authors: Audun Stolpe 

Publication date: 19 May 2015

Published in: David Makinson on Classical Methods for Non-Classical Problems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7759-0_12

Recommendations

• Permission from an input/output perspective
• scientific article; zbMATH DE number 2019850
• A theory of permission based on the notion of derogation
• Constraints for input/output logics
• ``Sing and dance!. Input/output logics without weakening

zbMATH Keywords

input/output logicnormative systemsfinest splittingsparallell interpolation

Mathematics Subject Classification ID

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

Cited In (9)

• Relevance, derogation and permission. A case for a normal form for codes of norms
• Abstraction of hardware construction
• Title not available (Why is that?)
• A concept approach to input/output logic
• Constraints for input/output logics
• A theory of permission based on the notion of derogation
• Permission from an input/output perspective
• ``Sing and dance!. Input/output logics without weakening
• Abstract Interpretation of the Physical Inputs of Embedded Programs

This page was built for publication: Abstract interfaces of input/output logic

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