Pages that link to "Item:Q1821095"
From MaRDI portal
The following pages link to A unifying theorem for algebraic semantics and dynamic logics (Q1821095):
Displaying 6 items.
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Dynamic evaluation and algebraic closure in Axiom (Q1906927) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- (Q3719823) (← links)
- (Q5240591) (← links)