This paper puts forward a generalization of the account of pooling information – offered by standard epistemic logic – based on intersection of sets of possible worlds. Our account is based on information models for substructural logics and pooling is represented by fusion of information states. This approach yields a representation of pooling related to structured communication within groups of agents. It is shown that the generalized account avoids some problematic features of the intersection-based approach. Our main technical result is a sound and complete axiomatization of a substructural epistemic logic with an operator expressing pooling.
CITATION STYLE
Punčochář, V., & Sedlár, I. (2017). Substructural logics for pooling information. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10445 LNCS, pp. 407–421). Springer Verlag. https://doi.org/10.1007/978-3-662-55665-8_28
Mendeley helps you to discover research relevant for your work.