An epistemic separation logic

DOI10.1007/978-3-662-47709-0_12MaRDI QIDQ2947467zbMATH OpenOpenAlexFDO

Authors Jean-René Courtault, Didier Galmiche, Hans 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)

Recommendations

• A public announcement separation logic
• A substructural epistemic resource logic
• A substructural epistemic resource logic: theory and modelling applications
• Combining Epistemic Logic and Hennessy-Milner Logic
• A logic of separating modalities

Cites work

• A modal BI logic for dynamic resource properties
• A simple separation logic
• Algebra and logic for resource-based systems modelling
• Algebra and sequent calculus for epistemic actions
• BI as an assertion language for mutable data structures
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic of preference upgrade
• Epistemic Actions as Resources
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 3616386 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 2236613 (Why is no real title available?)
• Linear logic
• Tableaux for Public Announcement Logic
• The formal strong completeness of partial monoidal Boolean BI
• The semantics and proof theory of the logic of bunched implications
• The semantics of BI and resource tableaux

Cited in

(8)

• A family of graded epistemic logics
• Moorean phenomena in epistemic logic
• A logic of separating modalities
• scientific article; zbMATH DE number 7361815 (Why is no real title available?)
• A substructural epistemic resource logic
• A public announcement separation logic
• AN EPISTEMIC RATIONALE FOR ORDER INDEPENDENCE
• An epistemic separation logic with action models

This page was built for publication: An epistemic separation logic

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