Pages that link to "Item:Q2358703"
From MaRDI portal
The following pages link to On a graph calculus for modalities (Q2358703):
Displaying 7 items.
- On a graph approach to modal logics (Q281163) (← links)
- On graph calculi for multi-modal logics (Q530865) (← links)
- On graphs for intuitionistic modal logics (Q1744424) (← links)
- Gamma graph calculi for modal logics (Q1990000) (← links)
- A Graph-theoretic Account of Logics (Q3656774) (← links)
- (Q4440829) (← links)
- On modal -calculus over reflexive symmetric graphs (Q5300576) (← links)