Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Information Algebras: Generic Structures for Inference
Information Algebras: Generic Structures for Inference
A Mathematical Theory of Communication
A Mathematical Theory of Communication
Dynamic Epistemic Logic
Hi-index | 0.01 |
Information arises in conditions of uncertainty. When we are unsure of what has happened, our uncertainty is reduced by gaining information. Central to any mathematical model of information is the representation of a state of uncertainty and the change of state brought about by the acquisition of a new piece of information.