Ockham's razor and reasoning about information flow
pp. 391-408
Abstract
What is the minimal algebraic structure to reason about information flow? Do we really need the full power of Boolean algebras with co-closure and de Morgan dual operators? How much can we weaken and still be able to reason about multi-agent scenarios in a tidy compositional way? This paper provides some answers.
Publication details
Published in:
(2009) Synthese 167 (2).
Pages: 391-408
DOI: 10.1007/s11229-008-9414-7
Full citation:
Sadrzadeh Mehrnoosh (2009) „Ockham's razor and reasoning about information flow“. Synthese 167 (2), 391–408.