Reasoning about knowledge
Modal logic
Alternating-time temporal logic
Journal of the ACM (JACM)
MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Reasoning about knowledge and probability
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Logics of propositional control
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Reasoning about knowledge and action
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
On the logic of cooperation and propositional control
Artificial Intelligence
Reasoning about the transfer of control
Journal of Artificial Intelligence Research
Seeing, knowledge and common knowledge
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Verifiable equilibria in boolean games
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
Logics of propositional control, such as van der Hoek and Wooldridge's CL-PC [14], were introduced in order to represent and reason about scenarios in which each agent within a system is able to exercise unique control over some set of system variables. Our aim in the present paper is to extend the study of logics of propositional control to settings in which these agents have incomplete information about the society they occupy. We consider two possible sources of incomplete information. First, we consider the possibility that an agent is only able to "read" a subset of the overall system variables, and so in any given system state, will have partial information about the state of the system. Second, we consider the possibility that an agent has incomplete information about which agent controls which variables. For both cases, we introduce a logic combining epistemic modalities with the operators of CL-PC, investigate its axiomatization, and discuss its properties.