A Computationally Grounded Logic of Visibility, Perception, and Knowledge


VSK logic is a family of multi-modal logics for reasoning about the information properties of computational agents situated in some environment. Using VSK logic, we can represent what is objectively true of the environment, the information that is visible, or knowable about the environment, information the agent perceives of the environment, and finally… (More)
DOI: 10.1093/jigpal/9.2.257


4 Figures and Tables

Slides referencing similar topics