Logic of secrets in collaboration networks

DOI10.1016/j.apal.2011.06.001zbMath1241.03012OpenAlexW2144049853MaRDI QIDQ716496

Sara Miner More, Pavel Naumov

Publication date: 22 September 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.06.001

zbMATH Keywords

independenceaxiomatizationinformation flownondeducibility

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (6)

Fault Tolerance in Belief Formation Networks ⋮ Independence in information spaces ⋮ Axiomatic theory of betweenness ⋮ On interchangeability of Nash equilibria in multi-player strategic games ⋮ The Ryōan-ji axiom for common knowledge on hypergraphs ⋮ Logic of secrets in collaboration networks

Cites Work

• Logic of secrets in collaboration networks
• A logic for information flow analysis with an application to forward slicing of simple imperative programs
• Unnamed Item

This page was built for publication: Logic of secrets in collaboration networks