40 citations · 47 across the 10 of their papers we have counts for
2 papers
cs.LO2022
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone +1
We give a relational and a weakest precondition semantics for "knowledge-based programs", i.e., programs that restrict observability of variables so as to richly express changes in…
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…