Open AccessEpistemic boolean games based on a logic of visibility and control
Author(s) -
Andréas Herzig,
Emiliano Lorini,
Faustine Maffre,
François Schwarzentruber
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - epistemic modal logic , visibility , computer science , control (management) , epistemology , theoretical computer science , artificial intelligence , multimodal logic , philosophy , description logic , physics , optics