A logical framework to reason about Reo circuits.

Erick Simas Grilo Daniel Toledo Bruno Lopes

Published in: FLAP (2022)

Keyphrases

logical framework
inference rules
reasoning tasks
belief revision
linear logic
coalition logic
possibilistic logic
normative systems
multi dimensional
first order logic
epistemic logic
higher order logic