Modal definability of first-order formulas with free variables and query answering (Q2446543): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2013.03.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2154397897
@@ Property / OpenAlex ID: W2154397897 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912018
@@ Property / cites work: Q3912018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Q3509049
@@ Property / cites work: Q3509049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+Normal rank
@@ Property / cites work @@
+Every world can see a reflexive world
@@ Property / cites work: Every world can see a reflexive world / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of Kracht's theorem to generalized Sahlqvist formulas
+Normal rank
@@ Property / cites work @@
+Axiomatization of modal logic squares with distinguished diagonal
+Normal rank
@@ Property / cites work @@
+Q2904056
@@ Property / cites work: Q2904056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833774
@@ Property / cites work: Q4833774 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On axiomatising products of Kripke frames
@@ Property / cites work: On axiomatising products of Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085168
@@ Property / cites work: Q3085168 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Conjunctive Query Answering in Expressive Description Logics
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation for extended modal languages
@@ Property / cites work: Interpolation for extended modal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank