Handbook of Epistemic Logic

GPTKB entity