The following pages link to Simulating without Negation (Q4351799):
Displayed 4 items.
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- On Characterization, Definability and ω-Saturated Models (Q3105745) (← links)
- The Range of Modal Logic (Q4531586) (← links)