Skip to content

Reasoning about Belief and Knowledge with Self-Reference and Time.

Nicholas Asher

VenueBTARK
Year1988
ProceedingsTARK

Browse the full TARK paper archive.