The following pages link to (Q4507858):
Displaying 3 items.
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- About the complete axiomatization of dynamic extensions of arrow logic (Q6599619) (← links)