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


Upcoming logic conferences:
Fourth Nordic Logic Summer School, Bergen, Norway, postponed to June 2021
ESSLLI 2021, Utrecht, The Netherlands, 2-13 August 2021

 
 

I am an Academy Research Fellow 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:
 
Projects:
Teaching:
 
  • Dependence Logic, Fall 2019, University of Helsinki
  • Formal Methods for Strategic Decision-making, Fall 2016, Delft University of Technology
  • Logical Complexity, Fall 2014, Utrecht University
  • Elements of Set Theory, Spring 2014, University of Helsinki
  • Algebra I, Spring 2013, University of Helsinki
  Publications:
 

    Submitted
  • Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen and Fan Yang, Linear-time Temporal Logic with Team Semantics: Expressivity and ComplexityarXiv:2010.03311
  • Fan Yang, Propositional union closed team logics, submitted, 2020, arXiv:2008.10324
  • Julia Ilin, Dick de Jongh and Fan Yang, NNIL formulas revisited: universal models and finite model property, submitted, 2019, arXiv:1908.01635
    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
  • Fausto Barbero and Fan Yang, Counterfactuals and dependencies on causal teams: expressive power and deduction systems, Advances in Modal Logic (Volume 13), 2020, College Publications, pp. 73-93
  • Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer and Fan Yang, Counting of Teams in First-Order Team Logics, in Proceedings of 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Leibniz International Proceedings in Informatics (LIPIcs), vol 138, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019, pp. 19:1-19:15
  • Juha Kontinen and Fan Yang, Logics for first-order team properties, in Proceedings of the 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Lecture Notes in Computer Science, vol 11541, Springer, pp. 392-414
  • Fan Yang, Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited, in Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), LNCS 9803, Springer-Verlag, 2016, pp. 410-431
  • Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano and Fan Yang, A Multi-type Calculus for Inquisitive Logic, in Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), LNCS 9803, Springer-Verlag, 2016, pp. 213-233
  • Johannes Ebbing, Peter Lohmann and Fan Yang, Model Checking for Modal Intuitionistic Dependence Logic, in Post-proceedings of the Ninth Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2011, Lecture Notes in Computer Science, Volume 7758, Springer, 2013, pp. 231-256
  • Dick de Jongh and Fan Yang, Jankov's Theorems for Intermediate Logics in the Setting of Universal Models, in N. Bezhanishvili, S. Loebner, K. Schwabe and L. Spada, eds, Post-proceedings of the Eighth Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2009, Lecture Notes in Computer Science, Volume 6618, pp. 53-76, Springer, 2011
  Work in progress:
 
  • with Juha Kontinen, Logics for first-order team properties
  • with Fausto Barbero, Counterfactuals and dependencies on causal teams
  • with Eric Pacuit, Dependence and Independence in Social Choice Theory
  Talks: