The expressivity of update logics

DOI10.1093/LOGCOM/EXU047zbMath1331.68217OpenAlexW2115650067MaRDI QIDQ5262482

Louwe B. Kuijer

Publication date: 15 July 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/e052d16b2cee8cd6079bed6d8a99372d1ebc060d

zbMATH Keywords

expressivitypublic announcementsrelativized common knowledgearrow updatesarrow common knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

To be announced ⋮ A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

This page was built for publication: The expressivity of update logics