COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES

DOI10.1017/jsl.2022.80arXiv1904.08695MaRDI QIDQ6103455

Juha Kontinen, Unnamed Author

Publication date: 5 June 2023

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1904.08695

zbMATH Keywords

first-order logicaxiomatizationdependence logicteam semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logical approach to context-specific independence
• Propositional logics of dependence
• Axiomatizing first-order consequences in dependence logic
• Axiomatizing first-order consequences in independence logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• An interpolation theorem in the predicate calculus
• From IF to BI. A tale of dependence and separation
• Inclusion dependencies and their interaction with functional dependencies
• Axioms and algorithms for inferences involving probabilistic independence
• Propositional inquisitive logic: a survey
• Dependence and independence
• Epistemic operators in dependence logic
• Coherence and computational complexity of quantifier-free dependence logic formulas
• Completeness for the classical antecedent fragment of inquisitive first-order logic
• Questions and dependency in intuitionistic logic
• A simple logic of functional dependence
• Negation and partial axiomatizations of dependence and independence logic revisited
• Facets of distribution identities in probabilistic team semantics
• Logics for first-order team properties
• Dependence logic with generalized quantifiers: axiomatizations
• Erratum to: ``On definability in dependence logic
• A finite axiomatization of conditional independence and inclusion dependencies
• Axiomatizations of team logics
• Hierarchies in independence logic
• QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES
• An introduction to recursively saturated and resplendent models
• Functional Dependencies in a Relational Database and Propositional Logic
• Compositional semantics for a language of imperfect information
• Axiomatizing first order consequences in inclusion logic
• On Natural Deduction in Dependence Logic
• On Strongly First-Order Dependencies
• Dependency as Question Entailment
• Dependence and Independence in Social Choice: Arrow’s Theorem
• Finite Partially‐Ordered Quantifiers
• Finite partially-ordered quantification
• Team Logic and Second-Order Logic

This page was built for publication: COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES