Global and Local Graph Modifiers

DOI10.1016/j.entcs.2009.02.042zbMath1347.03020OpenAlexW2099577392MaRDI QIDQ4982127

Guillaume Aucher

Publication date: 23 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.042

zbMATH Keywords

public announcement logicgraph modifiers

Mathematics Subject Classification ID

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

Related Items (15)

On Composing Finite Forests with Modal Logics ⋮ Sabotage Modal Logic: Some Model and Proof Theoretic Aspects ⋮ The modal logic of copy and remove ⋮ Separation logics and modalities: a survey ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ ARROW UPDATE LOGIC ⋮ To be announced ⋮ Reflecting on social influence in networks ⋮ Unnamed Item ⋮ Arrow update synthesis ⋮ Introspection as an action in relational models ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ Copy and remove as dynamic operators

Cites Work

• Unnamed Item
• Unnamed Item
• Dynamic epistemic logic
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Dynamic logic of preference upgrade
• Expressivity and completeness for public update logics via reduction axioms
• Changing Modalities
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Foundations of Software Science and Computation Structures
• Mechanizing Mathematical Reasoning

This page was built for publication: Global and Local Graph Modifiers