Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. - Dick de Jongh; Fan Yang 004 (TbiLLC, 2009)

Model Checking for Modal Intuitionistic Dependence Logic. - Johannes Ebbing; Peter Lohmann; Fan Yang 004 (TbiLLC, 2011)

Expressing Second-order Sentences in Intuitionistic Dependence Logic. - Fan Yang 004 (Stud Logica, 2013)

Propositional Logics of Dependence and Independence, Part I. - Fan Yang 004; Jouko Väänänen (CoRR, 2014)

Dependence and Independence in Social Choice: Arrow's Theorem. - Eric Pacuit; Fan Yang 004 (Dependence Logic, 2016)

A Multi-type Calculus for Inquisitive Logic. - Sabine Frittella; Giuseppe Greco 001; Alessandra Palmigiano; Fan Yang 004 (WoLLIC, 2016)

Structural completeness in propositional logics of dependence. - Rosalie Iemhoff; Fan Yang 004 (Arch. Math. Log., 2016)

Propositional logics of dependence. - Fan Yang 004; Jouko Väänänen (Ann. Pure Appl. Log., 2016)

Structural Multi-type Sequent Calculus for Inquisitive Logic. - Sabine Frittella; Giuseppe Greco 001; Alessandra Palmigiano; Fan Yang 004 (CoRR, 2016)

Propositional team logics. - Fan Yang 004; Jouko Väänänen (Ann. Pure Appl. Log., 2017)

Modal dependence logics: axiomatizations and model-theoretic properties. - Fan Yang 004 (Log. J. IGPL, 2017)

Uniform Definability in Propositional Dependence Logic. - Fan Yang 004 (Rev. Symb. Log., 2017)

Counting of Teams in First-Order Team Logics. - Anselm Haak; Juha Kontinen; Fabian Müller 003; Heribert Vollmer; Fan Yang 004 (MFCS, 2019)

Logics for First-Order Team Properties. - Juha Kontinen; Fan Yang 004 (WoLLIC, 2019)

Negation and partial axiomatizations of dependence and independence logic revisited. - Fan Yang 004 (Ann. Pure Appl. Log., 2019)

Axiomatizing first order consequences in inclusion logic. - Fan Yang 004 (Math. Log. Q., 2020)

Questions and Dependency in Intuitionistic Logic. - Ivano Ciardelli; Rosalie Iemhoff; Fan Yang 004 (Notre Dame J. Formal Log., 2020)

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. - Jonni Virtema; Jana Hofmann; Bernd Finkbeiner; Juha Kontinen; Fan Yang 004 (FSTTCS, 2021)

NNIL-formulas revisited: Universal models and finite model property. - Julia Ilin; Dick de Jongh; Fan Yang 004 (J. Log. Comput., 2021)

Introduction. - Jouko Väänänen; Fan Yang 004; Philip Scott (Ann. Pure Appl. Log., 2022)

Propositional union closed team logics. - Fan Yang 004 (Ann. Pure Appl. Log., 2022)

Complete Logics for Elementary Team Properties. - Juha Kontinen; Fan Yang 004 (J. Symb. Log., 2023)

Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111). - Juha Kontinen; Jonni Virtema; Heribert Vollmer; Fan Yang 004; Nicolas Fröhlich 001 (Dagstuhl Reports, 2024)

Axiomatizing modal inclusion logic and its variants. - Aleksi Anttila; Matilda Häggblom; Fan Yang 004 (Arch. Math. Log., 2025)