Follow
Fan Yang
Fan Yang
Verified email at uu.nl - Homepage
Title
Cited by
Cited by
Year
Propositional logics of dependence
F Yang, J Väänänen
Annals of Pure and Applied Logic 167 (7), 557-589, 2016
1022016
On extensions and variants of dependence logic: A study of intuitionistic connectives in the team semantics setting
F Yang
Helsingin yliopisto, 2014
83*2014
Propositional team logics
F Yang, J Väänänen
Annals of Pure and Applied Logic 168 (7), 1406-1441, 2017
712017
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
International Workshop on Logic, Language, Information, and Computation, 215-233, 2016
58*2016
Expressing second-order sentences in intuitionistic dependence logic
F Yang
Studia Logica 101 (2), 323-342, 2013
392013
Questions and dependency in intuitionistic logic
I Ciardelli, R Iemhoff, F Yang
Notre Dame Journal of Formal Logic 61 (1), 75-115, 2020
322020
Dependence and independence in social choice: Arrow’s theorem
E Pacuit, F Yang
Dependence Logic: Theory and Applications, 235-260, 2016
222016
Jankov’s theorems for intermediate logics in the setting of universal models
D Jongh, F Yang
International Tbilisi Symposium on Logic, Language, and Computation, 53-76, 2009
222009
Intuitionistic subframe formulas, NNIL-formulas and n-universal models
F Yang
Report MoL-2008 12, 2008
212008
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
J Virtema, J Hofmann, B Finkbeiner, J Kontinen, F Yang
arXiv preprint arXiv:2010.03311, 2020
172020
Modal dependence logics: axiomatizations and model-theoretic properties
F Yang
Logic Journal of the IGPL 25 (5), 773-805, 2017
162017
Uniform definability in propositional dependence logic
F Yang
The Review of Symbolic Logic 10 (1), 65-79, 2017
162017
Model checking for modal intuitionistic dependence logic
J Ebbing, P Lohmann, F Yang
International Tbilisi Symposium on Logic, Language, and Computation, 231-256, 2011
152011
Negation and partial axiomatizations of dependence and independence logic revisited
F Yang
Annals of Pure and Applied Logic 170 (9), 1128-1149, 2019
132019
Structural completeness in propositional logics of dependence
R Iemhoff, F Yang
Archive for Mathematical Logic 55 (7), 955-975, 2016
132016
Logics for first-order team properties
J Kontinen, F Yang
International Workshop on Logic, Language, Information, and Computation, 392-414, 2019
92019
Counting of Teams in First-Order Team Logics
A Haak, J Kontinen, F Müller, H Vollmer, F Yang
arXiv preprint arXiv:1902.00246, 2019
92019
Axiomatizing first order consequences in inclusion logic
F Yang
Mathematical Logic Quarterly 66 (2), 195-216, 2020
72020
Propositional union closed team logics
F Yang
Annals of Pure and Applied Logic 173 (6), 103102, 2022
62022
Complete logics for elementary team properties
J Kontinen, F Yang
The Journal of Symbolic Logic 88 (2), 579-619, 2023
52023
The system can't perform the operation now. Try again later.
Articles 1–20