Propositional union closed team logics

DOI10.1016/j.apal.2022.103102OpenAlexW4211083107MaRDI QIDQ2131275

Yanyan Li

Publication date: 25 April 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

dependence logicteam semanticsinclusion logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional logics of dependence
• Structural completeness in propositional logics of dependence
• Axiomatizing first-order consequences in independence logic
• Propositional team logics
• Inquisitive logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• Individual concepts in modal predicate logic
• Dependence and independence
• A Multi-type Calculus for Inquisitive Logic
• Hierarchies in Inclusion Logic with Lax Semantics
• Hierarchies in independence logic
• Compositional semantics for a language of imperfect information
• Satisfiability of Modal Inclusion Logic
• The expressive power of modal logic with inclusion atoms
• Model Checking and Validity in Propositional and Modal Inclusion Logics
• Axiomatizing first order consequences in inclusion logic
• Uniform interpolation for propositional and modal team logics
• Games for Inclusion Logic and Fixed-Point Logic
• Dependency as Question Entailment
• Hierarchies in independence and inclusion logic with strict semantics
• Counting in Team Semantics
• On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.
• Complexity thresholds in inclusion logic

This page was built for publication: Propositional union closed team logics