The following pages link to On a graph approach to modal logics (Q281163):
Displaying 17 items.
- On graph calculi for multi-modal logics (Q530865) (← links)
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- Unwinding modal paradoxes on digraphs (Q830367) (← links)
- Graphical models of separation logic (Q989553) (← 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)
- Gamma graph calculi for modal logics (Q1990000) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results (Q2701979) (← links)
- Modal expressiveness of graph properties (Q2866735) (← links)
- (Q3112294) (← links)
- A Graph-theoretic Account of Logics (Q3656774) (← links)
- On Graph-theoretic Fibring of Logics (Q3656775) (← links)
- (Q4218273) (← links)
- (Q4440829) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)
- On modal -calculus over reflexive symmetric graphs (Q5300576) (← links)