



I am a postdoctoral researcher 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: 



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 Decisionmaking, 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:


 Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer and Fan Yang, Counting of Teams in FirstOrder Team Logics, submitted, 2018
 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, Annals of Pure and Applied Logic, accepted, 2018, arXiv:1603.08579
 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
 Fan Yang, Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited, 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, 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, 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 Julia Ilin and Dick de Jongh, NNIL formulas revisited: universal models and finite model property
 Axiomatizing firstorder consequences in inclusion logic
 with Juha Kontinen, Team logics for firstorder definable team properties
 with Eric Pacuit, Dependence and Independence in Social Choice Theory
 On Implications in Logics of Dependence and Independence (based on Chapters 23 of my dissertation)


Talks: 

 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, Mcomb, 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” (slides)
 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" (slides)
 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"

