Fan Yang

33 papers B 1C 3Journal 24Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
Complexity Results in Team Semantics: Nonemptiness Is Not So Complex.
FoIKS
Aleksi Anttila, Juha Kontinen, Fan Yang
2025 J jnl
Axiomatizing modal inclusion logic and its variants.
Arch. Math. Log.
Aleksi Anttila, Matilda Häggblom, Fan Yang
2025 J jnl
Complexity Results in Team Semantics: Nonemptiness Is Not So Complex.
CoRR
Aleksi Anttila, Juha Kontinen, Fan Yang
2024 J jnl
Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111).
Dagstuhl Reports
Juha Kontinen, Jonni Virtema, Heribert Vollmer, Fan Yang, Nicolas Fröhlich
2024 J jnl
There are (other) ways to negate in propositional team semantics.
CoRR
Fan Yang
2023 J jnl
Complete Logics for Elementary Team Properties.
J. Symb. Log.
Juha Kontinen, Fan Yang
2022 J jnl
Introduction.
Ann. Pure Appl. Log.
Jouko Väänänen, Fan Yang, Philip Scott
2022 J jnl
Propositional union closed team logics.
Ann. Pure Appl. Log.
Fan Yang
2021 — conf
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.
FSTTCS
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
2021 J jnl
NNIL-formulas revisited: Universal models and finite model property.
J. Log. Comput.
Julia Ilin, Dick de Jongh, Fan Yang
2020 J jnl
Axiomatizing first order consequences in inclusion logic.
Math. Log. Q.
Fan Yang
2020 J jnl
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity.
CoRR
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
2020 J jnl
Questions and Dependency in Intuitionistic Logic.
Notre Dame J. Formal Log.
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
2019 J jnl
Axiomatizing first-order consequences in inclusion logic.
CoRR
Fan Yang
2019 B conf
Counting of Teams in First-Order Team Logics.
MFCS
Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
2019 J jnl
Counting of Teams in First-Order Team Logics.
CoRR
Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
2019 C conf
Logics for First-Order Team Properties.
WoLLIC
Juha Kontinen, Fan Yang
2019 J jnl
Negation and partial axiomatizations of dependence and independence logic revisited.
Ann. Pure Appl. Log.
Fan Yang
2017 J jnl
Modal dependence logics: axiomatizations and model-theoretic properties.
Log. J. IGPL
Fan Yang
2017 J jnl
Propositional team logics.
Ann. Pure Appl. Log.
Fan Yang, Jouko Väänänen
2017 J jnl
Questions and dependency in intuitionistic logic.
CoRR
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
2017 J jnl
Uniform Definability in Propositional Dependence Logic.
Rev. Symb. Log.
Fan Yang
2016 C conf
A Multi-type Calculus for Inquisitive Logic.
WoLLIC
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
2016 — ch.
Dependence and Independence in Social Choice: Arrow's Theorem.
Dependence Logic
Eric Pacuit, Fan Yang
2016 C conf
Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited.
WoLLIC
Fan Yang
2016 J jnl
Propositional logics of dependence.
Ann. Pure Appl. Log.
Fan Yang, Jouko Väänänen
2016 J jnl
Structural Multi-type Sequent Calculus for Inquisitive Logic.
CoRR
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
2016 J jnl
Structural completeness in propositional logics of dependence.
Arch. Math. Log.
Rosalie Iemhoff, Fan Yang
2014 J jnl
Propositional Logics of Dependence and Independence, Part I.
CoRR
Fan Yang, Jouko Väänänen
2013 J jnl
Expressing Second-order Sentences in Intuitionistic Dependence Logic
CoRR
Fan Yang
2013 J jnl
Expressing Second-order Sentences in Intuitionistic Dependence Logic.
Stud Logica
Fan Yang
2011 — conf
Model Checking for Modal Intuitionistic Dependence Logic.
TbiLLC
Johannes Ebbing, Peter Lohmann, Fan Yang
2009 — conf
Jankov's Theorems for Intermediate Logics in the Setting of Universal Models.
TbiLLC
Dick de Jongh, Fan Yang