Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077): Difference between revisions

@@ Property / author @@
+Valentin F. Goranko
@@ Property / author: Valentin F. Goranko / rank @@
+Normal rank
@@ Property / author @@
+Dimiter Vakarelov
@@ Property / author: Dimiter Vakarelov / rank @@
+Normal rank
@@ 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 / full work available at URL @@
+https://doi.org/10.1016/j.jal.2010.08.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1987652121
@@ Property / OpenAlex ID: W1987652121 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+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 @@
+A zero-one law for logic with a fixed-point operator
+Normal rank
@@ Property / cites work @@
+IV. Semantic extensions of SQEMA
@@ Property / cites work: IV. Semantic extensions of SQEMA / 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 @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of the countable random frame
@@ Property / cites work: The modal logic of the countable random frame / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist Formulas in Hybrid Polyadic Modal Logics
+Normal rank
@@ Property / cites work @@
+Q4430401
@@ Property / cites work: Q4430401 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539599
@@ Property / cites work: Q4539599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311052
@@ Property / cites work: Q5311052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal predicates, fixed-points, and definability
+Normal rank
@@ Property / cites work @@
+Modal frame correspondences and fixed-points
@@ Property / cites work: Modal frame correspondences and fixed-points / rank @@
+Normal rank