Pages that link to "Item:Q1924325"
From MaRDI portal
The following pages link to Multi-dimensional semantics for modal logics (Q1924325):
Displaying 8 items.
- Multi-dimensional modal logic (Q1379287) (← links)
- A decidable multi-modal logic of context (Q1414576) (← links)
- Modal multilattice logic (Q1682294) (← links)
- A Modal Logic for Multiple-Source Tolerance Approximation Spaces (Q3063975) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- On the multi-dimensional modal logic of substitutions (Q5211025) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)