When Names Are Not Commonly Known: Epistemic Logic with Assignments

zbMath1418.03060arXiv1805.03852MaRDI QIDQ5224590

Yanjing Wang, Jeremy Seligman

Publication date: 24 July 2019

Full work available at URL: https://arxiv.org/abs/1805.03852

zbMATH Keywords

dynamic logicaxiomatisationterm modal logicnon-rigid constants

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

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