بحث علمي

Epistemic semantics for classical and intuitionistic logic

Notre Dame Journal of Formal Logic