Modal Epistemic Logic on Contracts: A Doctrinal Approach.

Published in: Models, Languages, and Tools for Concurrent and Distributed Programming (2019)