What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Reasoning about knowledge
First-order modal logic
Model checking
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Modal logic
Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
On the Relation between Interpreted Systems and Kripke Models
Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Monodic Epistemic Predicate Logic
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
QLB: A Quantified Logic for Belief
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Verifying epistemic properties of multi-agent systems via bounded model checking
Fundamenta Informaticae - Concurrency specification and programming
ASDL: a wide spectrum language for designing web services
Proceedings of the 15th international conference on World Wide Web
A Complete Axiomatization of Knowledge and Cryptography
LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Bounded model checking for knowledge and real time
Artificial Intelligence
A quantified epistemic logic for reasoning about multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A Framework for Model Checking Institutions
Model Checking and Artificial Intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The AVISPA tool for the automated validation of internet security protocols and applications
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
We investigate quantified interpreted systems, a semantics to model multi-agent systems in which the agents can reason about individuals, their properties, and relationships among them. The semantics naturally extends interpreted systems to first-order by introducing a domain of individuals. We present a first-order epistemic language interpreted on this semantics and prove soundness and completeness of the quantified modal system $QS5^{D}_n$, an axiomatisation for these structures. Finally, we exemplify the use of the logic by modeling message passing systems, a relevant class of interpreted systems analysed in epistemic logic.