40 citations · 134 across the 31 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 40 cited
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
Francesco Belardinelli
In this paper we introduce Epistemic Strategy Logic (ESL), an extension of Strategy Logic with modal operators for individual knowledge. This enhanced framework allows us to repres…
cs.MA2014★ 21 cited
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Francesco Belardinelli, Alessio Lomuscio
We investigate a class of first-order temporal-epistemic logics for reasoning about multi-agent systems. We encode typical properties of systems including perfect recall, synchroni…