Abstract Interfaces of Input/Output Logic

DOI10.1007/978-94-007-7759-0_12zbMath1311.03042OpenAlexW2155160000MaRDI QIDQ5250313

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)

Related Items (1)

A concept approach to input/output logic

This page was built for publication: Abstract Interfaces of Input/Output Logic