The following pages link to Relation algebra and modal logics (Q4362879):
Displaying 9 items.
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Relations in monadic third-order logic (Q1372940) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- (Q3201035) (← links)
- Algebras of Relations and Relevance Logic (Q3623220) (← links)
- (Q4636025) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- (Q5290994) (← links)
- Relational Logics and Their Applications (Q5302024) (← links)