Skip to content

A Complete First-Order Logic of Knowledge and Time.

Francesco Belardinelli, Alessio Lomuscio

VenueA*KR
Year2008
ProceedingsKR

Browse the full KR paper archive.