When Names Are Not Commonly Known: Epistemic Logic with Assignments
From MaRDI portal
Publication:5224590
zbMath1418.03060arXiv1805.03852MaRDI QIDQ5224590
Publication date: 24 July 2019
Full work available at URL: https://arxiv.org/abs/1805.03852
Related Items (4)
Epistemic Logics of Structured Intensional Groups ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Unnamed Item ⋮ Quantifier-free epistemic term-modal logic with assignment operator
This page was built for publication: When Names Are Not Commonly Known: Epistemic Logic with Assignments