Abstract interfaces of input/output logic

DOI10.1007/978-94-007-7759-0_12MaRDI QIDQ5250313zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

input/output logicnormative systemsfinest splittingsparallell interpolation

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Abstract Interpretation of the Physical Inputs of Embedded Programs
• Relevance, derogation and permission. A case for a normal form for codes of norms
• Abstraction of hardware construction
• scientific article; zbMATH DE number 6741901 (Why is no real title available?)
• 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

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)