The expressivity of update logics

DOI10.1093/LOGCOM/EXU047MaRDI QIDQ5262482zbMATH OpenOpenAlexFDO

Authors 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

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

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

Cited in

(13)

• Arbitrary arrow update logic with common knowledge is neither RE nor co-RE
• Arrow update logic
• To be announced
• Weak updates and separation logic
• Partial deduction of updateable definite logic programs
• A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
• Relativized common knowledge for dynamic epistemic logic
• Arrow update synthesis
• Expressivity and completeness for public update logics via reduction axioms
• Arbitrary arrow update logic
• Updateable Inner Product Argument with Logarithmic Verifier and Applications
• Logics in Artificial Intelligence
• The expressivity of factual change in dynamic epistemic logic

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)