The expressivity of update logics

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

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

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 (13)

• Arbitrary arrow update logic with common knowledge is neither RE nor co-RE
• Arrow update logic
• 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
• 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)