Hybrid Tableaux for the Difference Modality (Q4982124): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.02.039
+Normal rank
@@ Property / OpenAlex ID @@
+W2002949351
@@ Property / OpenAlex ID: W2002949351 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of hybrid temporal logics
+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 @@
+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 @@
+Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
+Normal rank
@@ Property / cites work @@
+The Taming of the Cut. Classical Refutations with Analytic Cut
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+A simple tableau system for the logic of elsewhere
+Normal rank
@@ Property / cites work @@
+Display Calculi for Nominal Tense Logics
@@ Property / cites work: Display Calculi for Nominal Tense Logics / rank @@
+Normal rank
@@ Property / cites work @@
+EXPtime tableaux for ALC
@@ Property / cites work: EXPtime tableaux for ALC / rank @@
+Normal rank
@@ Property / cites work @@
+Q4108293
@@ Property / cites work: Q4108293 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4570895
@@ Property / cites work: Q4570895 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478385
@@ Property / cites work: Q3478385 / rank @@
+Normal rank
@@ Property / cites work @@
+Building decision procedures for modal logics from propositional decision procedures — The case study of modal K
+Normal rank
@@ Property / cites work @@
+Modal definability in enriched languages
@@ Property / cites work: Modal definability in enriched languages / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
+Normal rank
@@ Property / cites work @@
+Strongly analytic tableaux for normal modal logics
+Normal rank
@@ Property / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation rules as anti-axioms in modal logic
@@ Property / cites work: Derivation rules as anti-axioms in modal logic / rank @@
+Normal rank