fan.yang.c@gmail.com | TU Delft / TPM / building 31 / room b3.370

Google site | academia.edu | LinkedIn | CV.pdf

Publications

**Submitted**

> Ivano Ciardelli, Rosalie Iemhoff and Fan Yang, *Questions and dependency in intuitionistic logic * (submitted, 2017, arXiv version)

> Fan Yang, *Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited*,* *submitted, 2017, arXiv:1603.08579

**Refereed international journals**

> 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 Wilfrid Hodges in *Remarks on Compositionality*, 2016)

> 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 and Jouko Väänänen, *Propositional Logics of Dependence*, Annals of Pure and Applied Logic, Volume 167, Issue 7, July 2016, pp 557–589

> Fan Yang, *Expressing Second-order Sentences in Intuitionistic Dependence Logic*, Studia Logica, April 2013, Volume 101, Issue 2, pp. 323-342

**Refereed 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 Application, Progress in Computer Science and Applied Logic, Birkhauser, June 2016, pp. 235-260

> 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

**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, Springger-Verlag, 2016, pp 410-431

> Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano and Fan Yang, *A Multi-type Calculus for Inquisitive Logic*, Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), LNCS 9803, Springger-Verlag, 2016, pp. 213-233

> Johannes Ebbing, Peter Lohmann and Fan Yang, *Model Checking for Modal Intuitionistic Dependence Logic*, Post-proceedings of the Ninth Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2011, Lecture Notes in Computer Science Volume 7758, 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, LNAI 6618, pp. 53-76, Springer, 2011

Work in progress

> with Giuseppe Greco, *Structural Multi-type Sequent Calculus for Modal Intuitionistic Dependence Logic* (abstract)

*> On Implications in Logics of Dependence and Independence*