Mathematical Logic for Life Science Ontologies (Q3638273): Difference between revisions

@@ Property / cites work @@
+An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Semantic forgetting in answer set programming
@@ Property / cites work: Semantic forgetting in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Undefinability of propositional quantifiers in the modal system S4
+Normal rank
@@ Property / cites work @@
+Q3624118
@@ Property / cites work: Q3624118 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logical Difference Problem for Description Logic Terminologies
+Normal rank
@@ Property / cites work @@
+Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Modular ontologies. Concepts, theories and techniques for knowledge modularization
+Normal rank
@@ Property / cites work @@
+Q4893140
@@ Property / cites work: Q4893140 / rank @@
+Normal rank