Pages that link to "Item:Q2859100"
From MaRDI portal
The following pages link to Sequent Calculi for Multi-modal Logic with Interaction (Q2859100):
Displaying 7 items.
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- A sequent calculus for propositional dynamic logic for agents with interactions (Q852274) (← links)
- A decidable multi-modal logic of context (Q1414576) (← links)
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus (Q2971125) (← links)
- A Logical Calculus for Modelling Interferences (Q3525086) (← links)
- (Q4265614) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)