Quantifier-free epistemic term-modal logic with assignment operator

Yanjing Wang 0001, Yu Wei, Jeremy Seligman. Quantifier-free epistemic term-modal logic with assignment operator. Annals of Pure and Applied Logic, 173(3):103071, 2022. [doi]

Abstract

Abstract is missing.