Pages that link to "Item:Q5261530"

The following pages link to Classical BI (Q5261530):

Displaying 5 items.

• The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
• Bunched logics displayed (Q1935559) (← 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)
• On Model Checking Boolean BI (Q3644756) (← links)