Pages that link to "Item:Q3971258"
From MaRDI portal
The following pages link to Some remarks on conservative extensions: a Socratic dialogue (Q3971258):
Displaying 6 items.
- Deciding inseparability and conservative extensions in the description logic (Q1041590) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- On a conservative extension argument of Dana Scott (Q3081251) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- Conservative extension concepts for nonmonotonic knowledge bases (Q4509297) (← links)
- Tait's conservative extension theorem revisited (Q5190193) (← links)