The following pages link to Taming logic (Q1909607):
Displaying 4 items.
- A class of decidable information logics (Q1128479) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- Undecidable relativizations of algebras of relations (Q4262581) (← links)
