Publications

Work in progress:

• with Eric Pacuit, Dependence and independence in social choice theory

Submitted:

• with Aleksi Anttila and Matilda Häggblom, Axiomatizing modal inclusion logics and its variants, submitted, 2023, arXiv:2312.02285

• with Maria Aloni and Alekis Anttila, State-based modal logics for free choice, submitted, 2023, arXiv:2305.11777

Published:

Journal publications

• Juha Kontinen and Fan Yang, Complete logics for elementary team properties, Journal of Symbolic Logic, Volume 88, Issue 2, June 2023, pp. 579-619

• Fausto Barbero and Fan Yang, Characterizing counterfactuals and dependencies over (generalized) causal teams, Notre Dame Journal of Formal Logic, 63 (3), August 2022, pp. 301-341

• Fan Yang, Propositional union closed team logics, Annals of Pure and Applied Logic, Volume 173, Issue 6, June 2022, 103102

• Julia Ilin, Dick de Jongh and Fan Yang, NNIL formulas revisited: universal models and finite model property, Journal of Logic and Computation, Volume 31, Issue 2, March 2021, pp. 573-596

• Fan Yang, Axiomatizing first-order consequences in inclusion logic, Mathematical Logic Quarterly, Volume 66, Issue 2, July 2020, pp. 195-216

• 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. 75-115

• 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. 1128-1149

• Fan Yang, Modal Dependence Logics: Axiomatizations and Model-theoretic 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. 65-79 (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 Second-order Sentences in Intuitionistic Dependence Logic, Studia Logica, April 2013, Volume 101, Issue 2, pp. 323-342

Book chapters

• Nick Bezhanishvili and Fan Yang, Intermediate logics in the team semantics setting, in Dick de Jongh on Intuitionistic and Provability Logic, Vol. 2X of Outstanding Contributions to Logic, Springer, 2022, to appear, arxiv.org/abs/2209.10039

• 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

• Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen and Fan Yang, Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity, FSTTCS 2021, LIPIcs, Volume 213, 2021, pp. 52:1-52:17

• 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