Axiomatizations of team logics (Q2636536): Difference between revisions

@@ Property / arXiv ID @@
+.05040
@@ Property / arXiv ID: 1602.05040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050122
@@ Property / cites work: Q4050122 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Modal Dependence Logic $\mathcal{EMDL}$
@@ Property / cites work: Extended Modal Dependence Logic $\mathcal{EMDL}$ / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+On Strongly First-Order Dependencies
@@ Property / cites work: On Strongly First-Order Dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Does the deduction theorem fail for modal logic?
@@ Property / cites work: Does the deduction theorem fail for modal logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Validity and entailment in modal and propositional dependence logics
+Normal rank
@@ Property / cites work @@
+Q5015279
@@ Property / cites work: Q5015279 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Propositional Independence and Inclusion Logic
+Normal rank
@@ Property / cites work @@
+Modal Inclusion Logic: Being Lax is Simpler than Being Strict
+Normal rank
@@ Property / cites work @@
+The expressive power of modal logic with inclusion atoms
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732440
@@ Property / cites work: Q4732440 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Q4636302
@@ Property / cites work: Q4636302 / rank @@
+Normal rank
@@ Property / cites work @@
+A Van Benthem Theorem for Modal Team Semantics
@@ Property / cites work: A Van Benthem Theorem for Modal Team Semantics / rank @@
+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 @@
+Axiomatizing first-order consequences in dependence logic
+Normal rank
@@ Property / cites work @@
+Axiomatizations for Propositional and Modal Team Logic
+Normal rank
@@ Property / cites work @@
+Axiomatizations of team logics
@@ Property / cites work: Axiomatizations of team logics / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Propositional Dependence Logics
@@ Property / cites work: Axiomatizing Propositional Dependence Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4599513
@@ Property / cites work: Q4599513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation and partial axiomatizations of dependence and independence logic revisited
+Normal rank
@@ Property / cites work @@
+Modal dependence logics: axiomatizations and model-theoretic properties
+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