The following pages link to (Q4440829):
Displaying 13 items.
- On a graph approach to modal logics (Q281163) (← links)
- On graph calculi for multi-modal logics (Q530865) (← links)
- Unwinding modal paradoxes on digraphs (Q830367) (← links)
- Polyadic dynamic logics for HPSG parsing (Q1016030) (← links)
- Modal expressiveness of graph properties (Q2866735) (← links)
- Using modal logics to express and check global graph properties (Q3644844) (← links)
- On Graph-theoretic Fibring of Logics (Q3656775) (← links)
- (Q4218273) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)
- A Logical Approach to Hamiltonian Graphs (Q5178965) (← links)
- Finite-Chain Graded Modal Logic (Q5213655) (← links)
- Fregean Logical Graphs (Q6485478) (← links)
- Modal logic and planarity of graphs (Q6601689) (← links)