Propositional union closed team logics (Q2131275): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4211083107
@@ Property / OpenAlex ID: W4211083107 / rank @@
+Normal rank
@@ Property / cites work @@
+Individual concepts in modal predicate logic
@@ Property / cites work: Individual concepts in modal predicate logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721676
@@ Property / cites work: Q4721676 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependency as Question Entailment
@@ Property / cites work: Dependency as Question Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Inquisitive logic
@@ Property / cites work: Inquisitive logic / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform interpolation for propositional and modal team logics
+Normal rank
@@ Property / cites work @@
+A Multi-type Calculus for Inquisitive Logic
@@ Property / cites work: A Multi-type Calculus for Inquisitive Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+Hierarchies in independence logic
@@ Property / cites work: Hierarchies in independence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958528
@@ Property / cites work: Q2958528 / rank @@
+Normal rank
@@ Property / cites work @@
+Games for Inclusion Logic and Fixed-Point Logic
@@ Property / cites work: Games for Inclusion Logic and Fixed-Point Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Counting in Team Semantics
@@ Property / cites work: Counting in Team Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing first-order consequences in independence logic
+Normal rank
@@ Property / cites work @@
+Hierarchies in Inclusion Logic with Lax Semantics
@@ Property / cites work: Hierarchies in Inclusion Logic with Lax Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity thresholds in inclusion logic
@@ Property / cites work: Complexity thresholds in inclusion logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies in independence and inclusion logic with strict semantics
+Normal rank
@@ Property / cites work @@
+Model Checking and Validity in Propositional and Modal Inclusion Logics
+Normal rank
@@ Property / cites work @@
+Satisfiability of Modal Inclusion Logic
@@ Property / cites work: Satisfiability of Modal Inclusion Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of modal logic with inclusion atoms
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Q4362727
@@ Property / cites work: Q4362727 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.
+Normal rank
@@ Property / cites work @@
+Structural completeness in propositional logics of dependence
+Normal rank
@@ Property / cites work @@
+On definability in dependence logic
@@ Property / cites work: On definability in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing first order consequences in inclusion logic
+Normal rank
@@ Property / cites work @@
+Propositional logics of dependence
@@ Property / cites work: Propositional logics of dependence / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional team logics
@@ Property / cites work: Propositional team logics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2131275