Classical negation and game-theoretical semantics (Q2258540): Difference between revisions

@@ Property / OpenAlex ID @@
+W1971228698
@@ Property / OpenAlex ID: W1971228698 / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on Henkin sentences and their contraries
@@ Property / cites work: A remark on Henkin sentences and their contraries / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence and quantifier rules for logic with imperfect information
+Normal rank
@@ Property / cites work @@
+Finite Partially‐Ordered Quantifiers
@@ Property / cites work: Finite Partially‐Ordered Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+On the formal semantics of IF-like logics
@@ Property / cites work: On the formal semantics of IF-like logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of IF-Logic with Classical Negation
+Normal rank
@@ Property / cites work @@
+Q5691485
@@ Property / cites work: Q5691485 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Independent choices and the interpretation of IF logic
+Normal rank
@@ Property / cites work @@
+Team Logic and Second-Order Logic
@@ Property / cites work: Team Logic and Second-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on negation in dependence logic
@@ Property / cites work: A remark on negation in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finite partially-ordered quantification
@@ Property / cites work: Finite partially-ordered quantification / rank @@
+Normal rank