
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 Researchgate, google scholar
and ORCID
Links:
A (nonofficial) 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, 213 August 2021





I am an Academy Research Fellow at Department of Mathematics and Statistics, University of Helsinki, Finland.
My research interests include: theory and applications of logics of dependence and independence, intuitionistic logic, constructive logics, etc.



CV 



Degrees: 

 Doctor of Philosophy, Department of Mathematics and Statistics, University of Helsinki, Finland, 2014 (supervised by Prof. Jouko Väänänen)
PhD thesis: On Extensions and Variants of Dependence Logic
 Master of Science, Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands, 2008 (supervised by Prof. Dick de Jongh)
 Bachelor of Philosophy, Department of Philosophy, Sun Yatsen University, China, 2005


Previous positions: 



Projects:


Teaching: 

 Dependence Logic, Fall 2019, University of Helsinki
 Formal Methods for Strategic Decisionmaking, 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:


 Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen and Fan Yang, Lineartime Temporal Logic with Team Semantics: Expressivity and Complexity, arXiv: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
 Fan Yang, Axiomatizing firstorder consequences in inclusion logic, Mathematical Logic Quarterly, Volume 66, Issue 2, July 2020, pp. 195216
 Ivano Ciardelli, Rosalie Iemhoff and Fan Yang, Questions and Dependency in Intuitionistic Logic, Notre Dame Journal of Formal Logic, Volume 61, Number 1, 2020, pp. 75115
 Fan Yang, Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited, Annals of Pure and Applied Logic, Volume 170, Issue 9, September 2019, pp. 11281149
 Fan Yang, Modal Dependence Logics: Axiomatizations and Modeltheoretic Properties, Logic Journal of the IGPL, Volume 25, Issue 5, 1 October 2017, pp. 773–805
 Fan Yang and Jouko Väänänen, Propositional Team Logics, Annals of Pure and Applied Logic, Volume 168, Issue 7, July 2017, pp. 1406–1441
 Fan Yang, Uniform Definability in Propositional Dependence Logic, Review of Symbolic Logic, Volume 10, Issue 1, March 2017, pp. 6579 (see also comments on the work by W. Hodges in Remarks on Compositionality, 2016)
 Fan Yang and Jouko Väänänen, Propositional Logics of Dependence, Annals of Pure and Applied Logic, Volume 167, Issue 7, July 2016, pp. 557–589
 Rosalie Iemhoff and Fan Yang, Structural Completeness in Propositional Logics of Dependence, Archive for Mathematical Logic, November 2016, Volume 55, Issue 7, pp. 955–975
 Fan Yang, Expressing Secondorder Sentences in Intuitionistic Dependence Logic, Studia Logica, April 2013, Volume 101, Issue 2, pp. 323342
 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. 235260 (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. 177185 (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. 7393
 Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer and Fan Yang, Counting of Teams in FirstOrder 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 DagstuhlLeibnizZentrum fuer Informatik, 2019, pp. 19:119:15
 Juha Kontinen and Fan Yang, Logics for firstorder 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. 392414
 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, SpringerVerlag, 2016, pp. 410431
 Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano and Fan Yang, A Multitype Calculus for Inquisitive Logic, in Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), LNCS 9803, SpringerVerlag, 2016, pp. 213233
 Johannes Ebbing, Peter Lohmann and Fan Yang, Model Checking for Modal Intuitionistic Dependence Logic, in Postproceedings of the Ninth Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2011, Lecture Notes in Computer Science, Volume 7758, Springer, 2013, pp. 231256
 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, Postproceedings of the Eighth Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2009, Lecture Notes in Computer Science, Volume 6618, pp. 5376, Springer, 2011


Work in progress: 

 with Juha Kontinen, Logics for firstorder team properties
 with Fausto Barbero, Counterfactuals and dependencies on causal teams
 with Eric Pacuit, Dependence and Independence in Social Choice Theory


Talks: 

 May 26, 2020, Logic Seminar, Center for Logic, Language and Cognition, Peking University, Beijing, China (virtual), "An overview of dependence logic" (slides)
 (invited) November 27, 2019, Workshop on the occasion of Dick de Jongh's 80th Birthday, ILLC, Amsterdam, The Netherlands, "Intuitionistic logic in the team semantics setting"
 July 25, 2019, Workshop on Logic, Language, Information and Computation (WoLLIC), Utrecht, The Netherlands, “Logics for firstorder team properties”
 May 17, 2019, Spring gathering of logicians in Tampere, "Logics for firstorder team properties"
 (invited) May 9, 2019, LIRa seminar, ILLC, Amsterdam, The Netherlands, "Logics for firstorder team properties"
 April 17, 2019, Logic Seminar, University of Helsinki, Finland, "Logics for firstorder team properties"
 April 67, 2019, 14th Workshop on Games for Logic and Programming Languages (GaLoP), Prague, Czech Republic, "Logics for firstorder definable team properties"
 January 2125, 2019, Syntax Meets Semantics, Amsterdam, The Netherlands, "Union closed team logics: expressive power and axiomatizations" (slides)
 January 1318, 2019, Dagstuhl Seminar on Logics for Dependence and Independence, Germany, "Union closed team logics"
 October 30  November 2, 2018, UHCAS Workshop on Mathematical Logic, Helsinki, Finland, "Analyzing Arrow's Theorem Through Dependence and Independence Logic"
 September 5, 2018, Dependence logic minisymposium, Helsinki, Finland, "Union closed logics: axiomatizations and expressive power"
 (invited) July 2527, 2018, Inquisitive Logic Workshop, Amsterdam, The Netherlands, "Axiomatizing (essentially) firstorder consequences in firstorder logics of dependence and independence"
 June 1113, 2018, The 10th Scandinavian Logic Symposium, Gothenburg, Sweden,
"Axiomatizing firstorder consequences in inclusion logic"
 (invited) May 1619, 2018, ASL North American Annual Meeting, Macomb, Illinois, USA, "Analyzing Arrow's Theorem Through Dependence and Independence Logic" (slides)
 March 23, 2018, Research Seminar in Finite Model Theory, Helsinki, Finland, "Negation and partial axiomatizations of dependence and independence logic revisited"
 Feb 14, 2018, Logic Seminar, University of Helsinki, Finland, "Questions and dependency in intuitionistic logic"
 January 24 & 31, 2018, Logic Seminar, University of Helsinki, Finland, "Deriving and generalizing Arrow’s Theorem in dependence and independence logic"
 (invited) July 1821, 2017, Workshop on Logic, Language, Information and Computation (WoLLIC), London, UK, "Characterizing dependencies in logic and sciences" (slides)
 June 2630, 2017, TACL, Prague, Czech Republic
 March 3, 2017, Inquisitive Semantics Seminar, ILLC, Amsterdam, The Netherlands, "Propositional Team Logics" (slides)
 September 59, 2016, Syntax Meets Semantics, Barcelona, Spain, "Structural Multitype Sequent Calculus for Modal Intuitionistic Dependence Logic"
 August 30 – September 2, 2016, Advances in Modal Logic, Budapest, Hungary, “Axiomatizing Modal Dependence Logics”
 1619 August 2016, Workshop on Logic, Language, Information and Computation (WoLLIC), Puebla, Mexico, “Negation and partial axiomatizations of dependence and independence logic revisited”
 April 79, 2016, ALCOP VII, Vienna, Austria, "Structural Multitype Sequent Calculus for Inquisitive Logic" (slides)
 February 811, 2016, Logics for Social Behaviour 3, ETH Zürich, Switzerland, "Formalizing Arrow's theorem in logics of dependence and independence"
 February 5, 2016, LIRa seminar, ILLC, Amsterdam, The Netherlands, "Dependence logic and Arrow's Theorem"
 (invited) January 8, 2016, Logic Workshop, University of Johannesburg, South Africa, "Dependenceindependence logics and Matthew effects"
 December 15, 2015, Workshop on questions in logic and semantics, ILLC, Amsterdam, The Netherlands, "Propositional dependence logic"
 August 38, 2015, Logic Colloquium 2015, Helsinki, Finland, "Some proof theoretical results on logics of dependence"
 June 29  July 3, 2015, Trends in Logic XV, Delft, The Netherlands, "Characterizing dependence and independence in social sciences (discussion session)"
 June 2126, 2015, Dagstuhl Seminar on Logics for Dependence and Independence, Germany, "Some proof theoretical results on logics of dependence" (slides)
 June 2126, 2015, Topology, Algebra, and Categories in Logic (TACL 2015), Ischia, Italy, "Structural completeness in logics of dependence"
 May 19, 2015, Applied Logic Seminar, TU Delft, The Netherlands, "Propositional Dependence Logic"
 January 30February 2, 2015, Workshop on Admissible Rules and Unification II, Les Diablerets, Switzerland, "Admissible Rules of Propositional Dependence Logic"
 October 22, 2014, PIIA seminar, Utrecht, The Netherlands, "Propositional dependence logic"
 March 35, 2014, KNAW Colloquium on Dependence Logic, The Royal Netherlands Academy of Arts and Sciences (KNAW), Amsterdam, The Netherlands, "Axiomatizing propositional dependence logic"
 November 15, 2013, Finite Model Theory Seminar, University of Helsinki, Finland, "Negation, substitution and uniform definability of connectives in propositional dependence logic"
 June 17, 2013, Workshop on Inquisitive Logic and Dependence Logic, University of Amsterdam, The Netherlands, "Propositional dependence logic and its variants"
 February 1015, 2013, Dagstuhl Seminar Dependence Logic: Theory and Applications, Schloss Dagstuhl, Germany, "Uniform definability in propositional dependence logic"
 November 21, 2012, Logic Seminar, University of Helsinki, Finland, "Axiomatizing propositional dependence logic, propositional independence logic and their variants"
 September 22, 2012, Workshop on Dependence Logic and Strategic Reasoning, University of Amsterdam, The Netherlands, "Propositional and Modal Intuitionistic Dependence Logic"
 July 1218, 2012, Logic Colloquium 2012, University of Manchester, UK, "Implications in Dependence and Independence Logic"
 May 4, 2012, Finite Model Theory Seminar, University of Tampere, Tampere, Finland, "Modal Intuitionistic Dependence Logic"
 March 2630, 2012, Logical Approaches to Barriers in Complexity II, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, "Model Checking for Modal Intuitionistic Dependence Logic"
 January 45, 2012, Matematiikan Päivät (Mathematics Days), Lappeenranta University of Technology, Finland, "Modal Intuitionistic Dependence Logic"
 November 9, 2011, Logic Seminar, Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland, "Propositional Intuitionistic Dependence Logic"
 September 2630, 2011, Ninth International Tbilisi Symposium on Language, Logic and Computation, Kutaisi, Georgia, "Model Checking for Modal Intuitionistic Dependence Logic"
 September 1518, 2011, LogICCC Final Conference, Berlin, Germany, "Implications in Team Semantics Setting"
 May 13, 2011, Finite Model Theory Seminar, Department of Mathematics and Statistics, University of Tampere, Tampere, Finland, "Model Checking for Modal Intuitionistic Dependence Logic"
 April 4, 2011, Logic Seminar, Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland, "Intuitionistic Implication, Modal Dependence Logic and Full Binary Trees"
 December 318, 2010, Student Session of SinoEuropean Winter School in Logic, Language and Computation (SELLC 2010), Guangzhou, China, "Definability in Intuitionistic Dependence Logic"
 August 1620, 2010, Workshop on Dependence and Independence in Logic (ESSLLI 2010), Copenhagen, Denmark, "Expressing Second Order Sentences in Intuitionistic Dependence Logic"
 April 28, 2010, Logic Seminar, Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland, "Intuitionistic Dependence Logic"
 March 31, 2010, FinnishSino Workshop on Logic & Cognition, Department of Philosophy, University of Helsink, Helsinki, Finland, "Intuitionistic Dependence Logic"
 November 79, 2009, First Workshop of the DepLog Group of LINT, Stockholm, Sweden, "Intuitionistic Dependence Logic"
 October 611, 2009, LORIII (LogICCC Meets China), Chongqing, China, "Universal Models of NNIL Formulas" (poster)
 August 510, 2008, BLAST, University of Denver, Denver, USA, "An Alternative Proof of Jankov's Theorem on KC"
 August 59, 2007, Workshop on Logic, Rationality and Interaction (LORI), Beijing, China, "Operations on Intuitionistic Descriptive Frames and Duality Theorems"
 April 18, 2007, An Afternoon on Intuitionistic Logic, ILLC, University of Amsterdam, Amsterdam, The Netherlands, "Operations on Intuitionistic Descriptive Frames and Duality Theorems"

