The power of modal separation logics

DOI10.1093/LOGCOM/EXZ019MaRDI QIDQ5216335zbMATH OpenOpenAlexFDO

Authors Stéphane Demri, Raul Fervari

Publication date 17 February 2020

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exz019

zbMATH Keywords

complexityexpressive powermodel-checkingrelation-changing logicssatisfiabilityseparation logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the complexity of modal separation logics
• The effects of modalities in separation logics (extended abstract)
• Separation logics and modalities: a survey
• A logic of separating modalities
• Undecidability of propositional separation logic and its neighbours

Cited in

(18)

• Verification of dynamic bisimulation theorems in Coq
• Axiomatising logics with separating conjunction and modalities
• A logic of separating modalities
• Undecidability of propositional separation logic and its neighbours
• Internal proof calculi for modal logics with separating conjunction
• Separating Graph Logic from MSO
• Separation logics and modalities: a survey
• A modal separation logic for resource dynamics
• The effects of modalities in separation logics (extended abstract)
• Modal logics with composition on finite forests: expressivity and complexity
• A complete axiomatisation for quantifier-free separation logic
• Losing connection: the modal logic of definable link deletion
• On the complexity of modal separation logics
• Multimodal Separation Logic for Reasoning About Operational Semantics
• Copy and remove as dynamic operators
• On Composing Finite Forests with Modal Logics
• Modal logics and local quantifiers: a zoo in the elementary hierarchy
• Reasoning about sequences of memory states

This page was built for publication: The power of modal separation logics

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