Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112): Difference between revisions

@@ Property / Wikidata QID @@
+Q57813472
@@ Property / Wikidata QID: Q57813472 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+Nominal tense logic
@@ Property / cites work: Nominal tense logic / rank @@
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Linguistics, Logic and Finite Trees
@@ Property / cites work: Linguistics, Logic and Finite Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Termination for Hybrid Tableaus
@@ Property / cites work: Termination for Hybrid Tableaus / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau-based Decision Procedures for Hybrid Logic
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263021
@@ Property / cites work: Q4263021 / rank @@
+Normal rank