Dr. Fan Yang's homepage

 
Home Page Image

CONTACT INFORMATION

Mailing Address:

PL 68 (Pietari Kalmin katu 5)

00014 University of Helsinki
Finland

Visiting Address:

Exactum, Room A414
Pietari Kalmin katu 5
Kumpla Campus, University of Helsinki

Email: fan.yang.c (at) gmail.com


Find me on Gscholar iconResearchgateGscholar icongoogle scholar and ORCIDORCID iD icon


Links:  

A (non-official) website for dependence logic
Stanford Encyclopedia of Philosophy entry on "dependence logic"
Inquisitive Semantics Research Group
Helsinki Logic Group
Institute for Logic, Language and Computation


Logic seminars:
Helsinki Logic Seminar | LIRa seminar 
Research Seminar in Finite model Theory

 
 

I am a postdoctoral researcher at Department of Mathematics and StatisticsUniversity of Helsinki, Finland.

My research interests include: theory and applications of logics of dependence and independence, intuitionistic logic, constructive logics, etc.

  CV
   
  Degrees:
 
  Previous positions:
 
  Teaching:
 
  • Mathematical Logic, Spring 2018, University of Helsinki (TA)
  • Argumentation and Philosophy of Science, Spring 2017, Delft University of Technology (TA)
  • Formal Methods for Strategic Decision-making, Fall 2016, Delft University of Technology (lecturer)
  • Ethics and Engineering, Spring 2016 and Fall 2016, Delft University of Technology (TA)
  • Integration Economics, Law, Philosophy and Technology, Fall 2015, Delft University of Technology (TA)
  • Logical Complexity, Fall 2014, Utrecht University (lecturer)
  • Elements of Set Theory, Spring 2014, University of Helsinki (lecturer)
  • Algebra I, Spring 2013, University of Helsinki (lecturer)
  • Topology I, Spring 2010, University of Helsinki (TA)
  Publications:
 

    Submitted
  • Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer and Fan Yang, Counting of Teams in First-Order Team Logics, submitted, 2018
  • Ivano Ciardelli, Rosalie Iemhoff and Fan Yang, Questions and Dependency in Intuitionistic Logic, submitted, 2017, arXiv:1704.01866
    Journal publications
    Book chapters
  • Eric Pacuit and Fan Yang, Dependence and Independence in Social Choice: Arrow’s Theorem, in S. Abramsky, J. Kontinen, H. Vollmer and J. Väänänen, eds, Dependence Logic: Theory and Applications, Progress in Computer Science and Applied Logic, Birkhauser, June 2016, pp. 235-260 (pdf)
  • Julia Ilin, Dick de Jongh and Fan Yang, NNIL Axioms Have the Finite Model Property, in Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten, eds, Liber Amicorum Alberti, Tributes Volume 30, College publications, 2016, pp. 177-185 (pdf)
    Refereed conference proceedings
  Work in progress:
 
  • with Julia Ilin and Dick de Jongh, NNIL formulas revisited: universal models and finite model property
  • Axiomatizing first-order consequences in inclusion logic
  • with Juha Kontinen, Team logics for first-order definable team properties
  • with Eric Pacuit, Dependence and Independence in Social Choice Theory
  • On Implications in Logics of Dependence and Independence (based on Chapters 2-3 of my dissertation)
  Talks: