Axiomatising logics with separating conjunction and modalities

DOI10.1007/978-3-030-19570-0_45OpenAlexW2943894054MaRDI QIDQ2296754

Alessio Mansutti, Raul Fervari, Stéphane P. Demri

Publication date: 18 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-19570-0_45

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

Verification of dynamic bisimulation theorems in Coq ⋮ Unnamed Item ⋮ Copy and remove as dynamic operators

This page was built for publication: Axiomatising logics with separating conjunction and modalities