A Tableau System for Quasi-Hybrid Logic (Q2817942): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2506574695
@@ Property / OpenAlex ID: W2506574695 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Computability and Logic
@@ Property / cites work: Computability and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logic and its proof-theory
@@ Property / cites work: Hybrid logic and its proof-theory / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistency in hybrid logic
@@ Property / cites work: Paraconsistency in hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing inconsistent first-order knowledgebases
@@ Property / cites work: Analysing inconsistent first-order knowledgebases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4784862
@@ Property / cites work: Q4784862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2901198
@@ Property / cites work: Q2901198 / rank @@
+Normal rank
@@ Property / cites work @@
+Four-valued modal logic: Kripke semantics and duality
+Normal rank