The following pages link to (Q4349279):
Displayed 10 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Dynamic extensions of arrow logic (Q598299) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- Modal Predicates and Coequations (Q2842557) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- A Completeness Result for Relation Algebra with Binders (Q4916210) (← links)