Q4994195 (Q4994195): Difference between revisions

@@ Property / describes a project that uses @@
+SQEMA
@@ Property / describes a project that uses: SQEMA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5445158
@@ Property / cites work: Q5445158 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419870
@@ Property / cites work: Q5419870 / rank @@
+Normal rank
@@ Property / cites work @@
+An undecidable problem in correspondence theory
@@ Property / cites work: An undecidable problem in correspondence theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483000
@@ Property / cites work: Q5483000 / 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 @@
+Q5324584
@@ Property / cites work: Q5324584 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
+Normal rank
@@ Property / cites work @@
+IV. Semantic extensions of SQEMA
@@ Property / cites work: IV. Semantic extensions of SQEMA / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+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 @@
+PDL with data constants
@@ Property / cites work: PDL with data constants / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in combinatory dynamic logic
@@ Property / cites work: An essay in combinatory dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Correspondence Between Modal and Classical Logic: an Automated Approach
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4994195