A Metalogic Programming Approach to Multi-agent Knowledge and Belief (1991)

by R A Kowalski, J S Kim
Venue:In AI and Mathematical Theory of Computation