Fan Yang

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 21

Top Topics

Linearly Ordered

Propositional Logic

Classical First Order Logic

Top Venues

Ann. Pure Appl. Log.

Publications

Juha Kontinen, Fan Yang
Complete Logics for Elementary Team Properties. J. Symb. Log. 88 (2) (2023)
Fan Yang
Propositional union closed team logics. Ann. Pure Appl. Log. 173 (6) (2022)
Jouko Väänänen, Fan Yang, Philip Scott
Introduction. Ann. Pure Appl. Log. 173 (10) (2022)
Julia Ilin, Dick de Jongh, Fan Yang
NNIL-formulas revisited: Universal models and finite model property. J. Log. Comput. 31 (2) (2021)
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. FSTTCS (2021)
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. CoRR (2020)
Fan Yang
Axiomatizing first order consequences in inclusion logic. Math. Log. Q. 66 (2) (2020)
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
Questions and Dependency in Intuitionistic Logic. Notre Dame J. Formal Log. 61 (1) (2020)
Juha Kontinen, Fan Yang
Logics for First-Order Team Properties. WoLLIC (2019)
Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
Counting of Teams in First-Order Team Logics. CoRR (2019)
Fan Yang
Negation and partial axiomatizations of dependence and independence logic revisited. Ann. Pure Appl. Log. 170 (9) (2019)
Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
Counting of Teams in First-Order Team Logics. MFCS (2019)
Fan Yang, Jouko Väänänen
Propositional team logics. Ann. Pure Appl. Log. 168 (7) (2017)
Fan Yang
Uniform Definability in Propositional Dependence Logic. Rev. Symb. Log. 10 (1) (2017)
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
Questions and dependency in intuitionistic logic. CoRR (2017)
Fan Yang
Modal dependence logics: axiomatizations and model-theoretic properties. Log. J. IGPL 25 (5) (2017)
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
Structural Multi-type Sequent Calculus for Inquisitive Logic. CoRR (2016)
Fan Yang
Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. WoLLIC (2016)
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
A Multi-type Calculus for Inquisitive Logic. WoLLIC (2016)
Rosalie Iemhoff, Fan Yang
Structural completeness in propositional logics of dependence. Arch. Math. Log. 55 (7-8) (2016)
Fan Yang, Jouko Väänänen
Propositional logics of dependence. Ann. Pure Appl. Log. 167 (7) (2016)
Fan Yang, Jouko Väänänen
Propositional Logics of Dependence and Independence, Part I. CoRR (2014)
Fan Yang
Expressing Second-order Sentences in Intuitionistic Dependence Logic CoRR (2013)
Fan Yang
Expressing Second-order Sentences in Intuitionistic Dependence Logic. Stud Logica 101 (2) (2013)
Johannes Ebbing, Peter Lohmann, Fan Yang
Model Checking for Modal Intuitionistic Dependence Logic. TbiLLC (2011)
Dick de Jongh, Fan Yang
Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. TbiLLC (2009)