[email protected] | 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