Pages that link to "Item:Q3455830"
From MaRDI portal
The following pages link to Compositional Reasoning for Multi-modal Logics (Q3455830):
Displaying 8 items.
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- A decidable multi-modal logic of context (Q1414576) (← links)
- Compositional models for credal sets (Q1678447) (← links)
- Sequent Calculi for Multi-modal Logic with Interaction (Q2859100) (← links)
- (Q4536450) (← links)
- A multicontext architecture for formalizing complex reasoning (Q4835369) (← links)
- Compositional Reasoning about Shared Futures (Q4899685) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)