The following pages link to (Q2853714):
Displaying 5 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- (Q2853717) (← links)
- (Q4215599) (← links)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)