We stand with Ukraine  

Fan Yang

Orcid: 0000-0003-0392-6522

Affiliations:
  • Utrecht University, The Netherlands
  • University of Helsinki, Finland
  • Delft University of Technology, The Netherlands


According to our database1, Fan Yang authored at least 22 papers between 2009 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Complete Logics for Elementary Team Properties.
[BibTeX]
[DOI]
Juha Kontinen
,
Fan Yang
J. Symb. Log., 2023

2022
Propositional union closed team logics.
[BibTeX]
[DOI]
Fan Yang
Ann. Pure Appl. Log., 2022

Introduction.
[BibTeX]
[DOI]
Jouko Väänänen
,
Fan Yang
,
Philip Scott
Ann. Pure Appl. Log., 2022

2021
NNIL-formulas revisited: Universal models and finite model property.
[BibTeX]
[DOI]
Julia Ilin
,
Dick de Jongh
,
Fan Yang
J. Log. Comput., 2021

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.
[BibTeX]
[DOI]
Jonni Virtema
,
Jana Hofmann
,
Bernd Finkbeiner
,
Juha Kontinen
,
Fan Yang
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

2020
Questions and Dependency in Intuitionistic Logic.
[BibTeX]
[DOI]
Ivano Ciardelli
,
Rosalie Iemhoff
,
Fan Yang
Notre Dame J. Formal Log., 2020

Axiomatizing first order consequences in inclusion logic.
[BibTeX]
[DOI]
Fan Yang
Math. Log. Q., 2020

2019
Negation and partial axiomatizations of dependence and independence logic revisited.
[BibTeX]
[DOI]
Fan Yang
Ann. Pure Appl. Log., 2019

Logics for First-Order Team Properties.
[BibTeX]
[DOI]
Juha Kontinen
,
Fan Yang
Proceedings of the Logic, Language, Information, and Computation, 2019

Counting of Teams in First-Order Team Logics.
[BibTeX]
[DOI]
Anselm Haak
,
Juha Kontinen
,
Fabian Müller
,
Heribert Vollmer
,
Fan Yang
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2017
Uniform Definability in Propositional Dependence Logic.
[BibTeX]
[DOI]
Fan Yang
Rev. Symb. Log., 2017

Modal dependence logics: axiomatizations and model-theoretic properties.
[BibTeX]
[DOI]
Fan Yang
Log. J. IGPL, 2017

Propositional team logics.
[BibTeX]
[DOI]
Fan Yang
,
Jouko Väänänen
Ann. Pure Appl. Log., 2017

2016
Structural Multi-type Sequent Calculus for Inquisitive Logic.
[BibTeX]
[DOI]
Sabine Frittella
,
Giuseppe Greco
,
Alessandra Palmigiano
,
Fan Yang
CoRR, 2016

Propositional logics of dependence.
[BibTeX]
[DOI]
Fan Yang
,
Jouko Väänänen
Ann. Pure Appl. Log., 2016

Structural completeness in propositional logics of dependence.
[BibTeX]
[DOI]
Rosalie Iemhoff
,
Fan Yang
Arch. Math. Log., 2016

A Multi-type Calculus for Inquisitive Logic.
[BibTeX]
[DOI]
Sabine Frittella
,
Giuseppe Greco
,
Alessandra Palmigiano
,
Fan Yang
Proceedings of the Logic, Language, Information, and Computation, 2016

Dependence and Independence in Social Choice: Arrow's Theorem.
[BibTeX]
[DOI]
Eric Pacuit
,
Fan Yang
Proceedings of the Dependence Logic, Theory and Applications, 2016

2014
Propositional Logics of Dependence and Independence, Part I.
[BibTeX]
[DOI]
Fan Yang
,
Jouko Väänänen
CoRR, 2014

2013
Expressing Second-order Sentences in Intuitionistic Dependence Logic.
[BibTeX]
[DOI]
Fan Yang
Stud Logica, 2013

2011
Model Checking for Modal Intuitionistic Dependence Logic.
[BibTeX]
[DOI]
Johannes Ebbing
,
Peter Lohmann
,
Fan Yang
Proceedings of the Logic, Language, and Computation, 2011

2009
Jankov's Theorems for Intermediate Logics in the Setting of Universal Models.
[BibTeX]
[DOI]
Dick de Jongh
,
Fan Yang
Proceedings of the Logic, Language, and Computation, 2009


  Loading...