The power of modal separation logics

DOI10.1093/logcom/exz019zbMath1444.03113OpenAlexW2996220552MaRDI QIDQ5216335

Raul Fervari, Stéphane P. Demri

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

complexitymodel-checkingsatisfiabilityexpressive powerseparation logicsrelation-changing 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)

Related Items (5)

On Composing Finite Forests with Modal Logics ⋮ Modal logics and local quantifiers: a zoo in the elementary hierarchy ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Unnamed Item ⋮ Copy and remove as dynamic operators

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