Pages that link to "Item:Q3638273"
From MaRDI portal
The following pages link to Mathematical Logic for Life Science Ontologies (Q3638273):
Displaying 6 items.
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- On the relationship between the complexity of decidability and decomposability of first-order theories (Q2062094) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
