Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals (Q2462670): Difference between revisions

@@ Property / author @@
+Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / 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.1007/s11225-007-9075-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2057924377
@@ Property / OpenAlex ID: W2057924377 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das Eliminationsproblem der mathematischen Logik
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
+Normal rank
@@ Property / cites work @@
+Q4943319
@@ Property / cites work: Q4943319 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge representation techniques. A rough set approach.
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Q4264098
@@ Property / cites work: Q4264098 / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative PTIME queries for relational databases using quantifier elimination
+Normal rank
@@ Property / cites work @@
+A general theory of the conditional in terms of a ternary operator
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329266
@@ Property / cites work: Q4329266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4946227
@@ Property / cites work: Q4946227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250040
@@ Property / cites work: Q4250040 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+The Monotonous Elimination of Predicate Variables
@@ Property / cites work: The Monotonous Elimination of Predicate Variables / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic analysis of conditional logic1
@@ Property / cites work: A semantic analysis of conditional logic1 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Correspondence Between Modal and Classical Logic: an Automated Approach
+Normal rank
@@ Property / cites work @@
+On an automated translation of modal proof rules into formulas of the classical logic
+Normal rank
@@ Property / cites work @@
+Determiners and logic
@@ Property / cites work: Determiners and logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank