A logic of separating modalities (Q290917): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3867808 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Logical and Computational Theory of Located Resource / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2855318 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebra and logic for resource-based systems modelling / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Modal BI Logic for Dynamic Resource Properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Epistemic Separation Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of philosophical logic. Vol. 7 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using branching time temporal logic to synthesize synchronization skeletons / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4027625 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness results for linear logic on Petri nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3996619 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4411823 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The semantics of BI and resource tableaux / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tableaux and Resource Graphs for Separation Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Simple Separation Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3883467 / rank
 
Normal rank
Property / cites work
 
Property / cites work: BI as an assertion language for mutable data structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: The formal strong completeness of partial monoidal Boolean BI / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On bunched typing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resources, concurrency, and local reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4783297 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Logic of Bunched Implications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Possible worlds and resources: The semantics of \(\mathbf{BI}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4805593 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of DPDA equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank
 
Normal rank

Latest revision as of 02:13, 12 July 2024

scientific article
Language Label Description Also known as
English
A logic of separating modalities
scientific article

    Statements

    A logic of separating modalities (English)
    0 references
    0 references
    0 references
    0 references
    3 June 2016
    0 references
    bunched logic
    0 references
    separation logic
    0 references
    modal logic
    0 references
    resource semantics
    0 references
    tableaux
    0 references
    concurrency
    0 references

    Identifiers