The bibliographic entry was discovered and compiled by a machine, and let through without anybody vouching for it. The publication itself is the authors' own work — this badge says nothing about it.
A Modal Sequent Calculus for Propositional Separation Logic
The work
| Title | A Modal Sequent Calculus for Propositional Separation Logic |
|---|---|
| Authors | Neelakantan R. Krishnaswami |
| Type | conference paper |
| Year | 2008 |
| Citekey | krishnaswami2008modal |
Where it appeared
| Published in | IMLA 2008: 4th Workshop on Intuitionistic Modal Logic and Applications |
|---|
Identifiers
| OpenAlex | W2155156044 |
|---|
Access
| Landing page | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.1832 |
|---|
Abstract
In this paper, we give a sequent calculus for separation logic. Unlike the logic of bunched implications, this calculus does not have a tree-shaped context { instead, we use labelled deduction to control when hypotheses can and cannot be used. We prove that cut-elimination holds for this calculus, and show that it is sound with respect to the provability semantics of separation logic.
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | not denied |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{krishnaswami2008modal,
title = {A Modal Sequent Calculus for Propositional Separation Logic},
author = {Neelakantan R. Krishnaswami},
year = {2008},
booktitle = {IMLA 2008: 4th Workshop on Intuitionistic Modal Logic and Applications},
url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.1832},
}
This record lives at https://refs.drheap.org/krishnaswami2008modal/ and will keep doing so.