Dr. Fan Yang's homepage

 
Home Page Image

CONTACT INFORMATION

Mailing Address:

PL 68 (Gustaf Hällströmin katu 2b)
00014 University of Helsinki
Finland

Visiting Address:

Exactum, Room A414
Gustaf Hällströmin katu 2b
Kumpla Campus, University of Helsinki

Office Hours: Thursday 16:00-18:00

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


Find me on Researchgate and google scholar


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.

  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
  • Ivano Ciardelli, Rosalie Iemhoff and Fan Yang, Questions and Dependency in Intuitionistic Logic, submitted, 2017, arXiv:1704.01866
  • Fan Yang, Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited (significantly extended version of the conference paper with the same title), submitted, 2017, arXiv:1603.08579 
    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:
 
  • Axiomatizing first-order consequences in inclusion logic
  • 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: