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

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.02.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2163429815
@@ Property / OpenAlex ID: W2163429815 / rank @@
+Normal rank
@@ 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