Pages that link to "Item:Q3371525"

The following pages link to The semantics of BI and resource tableaux (Q3371525):

Displaying 33 items.

• Bunched sequential information (Q266883) (← links)
• A logic of separating modalities (Q290917) (← links)
• Temporal BI: proof system, semantics and translations (Q391122) (← links)
• A calculus and logic of bunched resources and processes (Q906271) (← links)
• Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
• Bunched logics displayed (Q1935559) (← links)
• A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
• Focused proof-search in the logic of bunched implications (Q2233409) (← links)
• Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
• Intuitionistic Layered Graph Logic (Q2817944) (← links)
• Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
• An Epistemic Separation Logic (Q2947467) (← links)
• (Q3121529) (← links)
• A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
• An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265) (← links)
• Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
• Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
• A Modal BI Logic for Dynamic Resource Properties (Q3455841) (← links)
• Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding (Q3636908) (← links)
• (Q4553286) (← links)
• Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
• (Q5111325) (← links)
• A Substructural Epistemic Resource Logic (Q5224495) (← links)
• Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras (Q5283208) (← links)
• (Q5376651) (← links)
• A public announcement separation logic (Q5377700) (← links)
• (Q5875359) (← links)
• Completeness of Nominal PROPs (Q5883754) (← links)
• On Composing Finite Forests with Modal Logics (Q5886519) (← links)
• Constructive decision via redundancy-free proof-search (Q5919012) (← links)
• Semantical analysis of the logic of bunched implications (Q6115849) (← links)
• An epistemic separation logic with action models (Q6117141) (← links)
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)