The following pages link to (Q5687548):
Displayed 5 items.
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Modality, bisimulation and interpolation in infinitary logic (Q1295444) (← links)
- Uniform short proofs for classical theorems (Q1409313) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- The Range of Modal Logic (Q4531586) (← links)