A Depth-Bounded Semantics for Becoming Informed
Marco Larotonda, Giuseppe Primiero · Lecture notes in computer science · 2023
Abstract We present the three-valued modal logic DBBL-BI $$_{n}$$ to formally express information transmission among ordered agents bounded by limited access to repositories and where secrecy is admissible, viz. agents are not forced to transmit every data they possess to everyone else. The language, along with standard formulae for information holding at reachable states, includes formulae for agent and group information transmission, as well as assertion of trustworthy information. The description of information accessibility and transmission among agents is represented by formulae that hold in virtue of two distinct kinds of relations. We illustrate the application of the formal system with some intuitive examples.