Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120): 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.035
+Normal rank
@@ Property / OpenAlex ID @@
+W2066519065
@@ Property / OpenAlex ID: W2066519065 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873968
@@ Property / cites work: Q4873968 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength and scope of DLS
@@ Property / cites work: On the strength and scope of DLS / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
+Normal rank
@@ Property / cites work @@
+Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / 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 @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank
@@ Property / cites work @@
+Sahlqvist Formulas in Hybrid Polyadic Modal Logics
+Normal rank
@@ Property / cites work @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+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 the Correspondence Between Modal and Classical Logic: an Automated Approach
+Normal rank
@@ Property / cites work @@
+Hybrid logics with Sahlqvist axioms
@@ Property / cites work: Hybrid logics with Sahlqvist axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation for extended modal languages
@@ Property / cites work: Interpolation for extended modal languages / rank @@
+Normal rank