Pages that link to "Item:Q1826634"
From MaRDI portal
The following pages link to Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634):
Displaying 42 items.
- Bunched sequential information (Q266883) (← links)
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- A logic of separating modalities (Q290917) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Algebraic separation logic (Q549676) (← links)
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- Local local reasoning: a BI-hyperdoctrine for full ground store (Q2200846) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- A program logic for resources (Q2463560) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- Local Reasoning about Data Update (Q2864149) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- Bunched polymorphism (Q3545274) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Towards a theory of resource: an approach based on soft exponentials (Q3647264) (← links)
- (Q4553286) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- A step-indexed Kripke model of hidden state (Q4911302) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- Footprints in Local Reasoning (Q5458360) (← links)
- Separation Logic Tutorial (Q5504642) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
