The following pages link to (Q3509053):
Displaying 15 items.
- Conservativity for logics of justified belief: two approaches (Q408535) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Knowledge forgetting: properties and applications (Q1045992) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Model-theoretic conservative extension for definitional theories (Q2333319) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- (Q3760512) (← links)
- (Q4268451) (← links)
- Conservative Extensions in Horn Description Logics with Inverse Roles (Q5114785) (← links)
- Relevance Logic as a Conservative Extension of Classical Logic (Q5250318) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- Note on extending congruential modal logics (Q5963201) (← links)
