The expressivity of update logics

DOI10.1093/LOGCOM/EXU047zbMATH Open1331.68217OpenAlexW2115650067MaRDI QIDQ5262482FDOQ5262482

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

Recommendations

• Arrow update logic
• Arbitrary arrow update logic
• The expressivity of factual change in dynamic epistemic logic
• Public and private communication are different: Results on relative expressivity
• Public Announcements, Private Actions and Common Knowledge in S5 Structures

zbMATH Keywords

expressivitypublic announcementsrelativized common knowledgearrow updatesarrow common knowledge

Mathematics Subject Classification ID

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

Cited In (6)

• To be announced
• Partial deduction of updateable definite logic programs
• Weak updates and separation logic
• A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
• Updateable Inner Product Argument with Logarithmic Verifier and Applications
• Logics in Artificial Intelligence

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262482)