First-order hybrid separation logic

de Boer, Frank; Hiep, Hans-Dieter

doi:10.1007/s10817-025-09739-4

F.S. de Boer (Frank) and H.A. Hiep (Hans-Dieter)

2025-12-01

First-order hybrid separation logic

Journal of Automated Reasoning , Volume 69 - Issue 4 p. 26:1- 26:13

The basic set-theoretic interpretation of the separating connectives of first-order separation logic allows for an effective, sound and complete axiomatization in a hybrid extension.

Additional Metadata
Keywords	Separation logic, Natural deduction
Persistent URL	doi.org/10.1007/s10817-025-09739-4
Journal	Journal of Automated Reasoning
Organisation	Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	de Boer, F., & Hiep, H.-D. (2025). First-order hybrid separation logic. Journal of Automated Reasoning, 69(4), 26:1–26:13. doi:10.1007/s10817-025-09739-4

View at Publisher

Free Full Text ( Final Version , 387kb )

First-order hybrid separation logic

Publication

Publication

Address

CWI researchers

Questions or comments?

First-order hybrid separation logic

Publication

Publication

Workflow

Workflow

Add Content