A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results (2000)

by Michael Wooldridge , Alessio Lomuscio
Venue:Journal of the IGPL
Citations:7 - 1 self