Abstract | ||
---|---|---|
Separation logic has two spatial connectives *** and *** *** . It is known that *** and *** *** are not dual each other, like `and' and `or', `for all' and `there exists', `necessarily' and `possibly', etc. To define the dual connectives of *** and *** *** there are two choices: one is to take *** and *** *** as special logical connectives; another is to take *** and *** *** as binary modalities. Correspondingly, the dual modalities of *** and *** *** are represented as the dual connectives of *** and *** *** , and as the dual modalities of *** and *** *** , where the latter can be represented by unary modalities in the case that the formulas are defined in a special form. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-10488-6_12 | KSEM |
Keywords | Field | DocType |
separation logic,dual spatial connectives,special logical connective,dual modality,unary modality,binary modality,dual connective,spatial connective,special form,modal logic | Atomic formula,Modalities,Separation logic,Logical connective,Unary operation,Computer science,Algorithm,Arithmetic,Artificial intelligence,Modal logic,Machine learning,Binary number | Conference |
Volume | ISSN | Citations |
5914.0 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yuming Shen | 1 | 3 | 2.37 |
Yuefei Sui | 2 | 266 | 41.52 |
Ju Wang | 3 | 172 | 12.45 |