An Epistemic Separation Logic

DOI10.1007/978-3-662-47709-0_12zbMath1465.03060OpenAlexW1443086472MaRDI QIDQ2947467

Didier Galmiche, Jean-René Courtault, Hans P. van Ditmarsch

Publication date: 24 September 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-47709-0_12

Mathematics Subject Classification ID

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

Related Items (4)

A logic of separating modalities ⋮ An epistemic separation logic with action models ⋮ A public announcement separation logic ⋮ A Substructural Epistemic Resource Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• The semantics and proof theory of the logic of bunched implications
• A Simple Separation Logic
• The semantics of BI and resource tableaux
• Tableaux for Public Announcement Logic
• A Modal BI Logic for Dynamic Resource Properties
• Dynamic Epistemic Logic and Knowledge Puzzles
• Algebra and logic for resource-based systems modelling
• Dynamic logic of preference upgrade
• BI as an assertion language for mutable data structures
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Epistemic Actions as Resources
• The formal strong completeness of partial monoidal Boolean BI

This page was built for publication: An Epistemic Separation Logic