Pages that link to "Item:Q530865"
From MaRDI portal
The following pages link to On graph calculi for multi-modal logics (Q530865):
Displaying 12 items.
- On a graph approach to modal logics (Q281163) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus (Q1601877) (← links)
- On graphs for intuitionistic modal logics (Q1744424) (← links)
- Multi-valued logic in graph transformation theory and self-adaptive systems (Q2294579) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- A Graph-theoretic Account of Logics (Q3656774) (← links)
- (Q4440829) (← links)
- Towards the Use of Hypergraphs in Multi-adjoint Logic Programming (Q5215753) (← links)
- On modal -calculus over reflexive symmetric graphs (Q5300576) (← links)
- On Diagrams and General Model Checkers (Q5878893) (← links)
- Using Multigraphs to Study the Interaction Between Opposition, Implication and Duality Relations in Logical Squares (Q6485469) (← links)