The following pages link to (Q5687548):
Displayed 10 items.
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747) (← links)
- 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)
- Games and bisimulations for intuitionistic first-order Kripke models (Q2062207) (← links)
- First-order theories of bounded trees (Q2118179) (← links)
- On generalized van Benthem-type characterizations (Q2358625) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES (Q5015724) (← links)