Propositional logics of dependence F Yang, J Väänänen Annals of Pure and Applied Logic 167 (7), 557-589, 2016 | 102 | 2016 |
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 | 71 | 2017 |
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 | 39 | 2013 |
Questions and dependency in intuitionistic logic I Ciardelli, R Iemhoff, F Yang Notre Dame Journal of Formal Logic 61 (1), 75-115, 2020 | 32 | 2020 |
Dependence and independence in social choice: Arrow’s theorem E Pacuit, F Yang Dependence Logic: Theory and Applications, 235-260, 2016 | 22 | 2016 |
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 | 22 | 2009 |
Intuitionistic subframe formulas, NNIL-formulas and n-universal models F Yang Report MoL-2008 12, 2008 | 21 | 2008 |
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 | 17 | 2020 |
Modal dependence logics: axiomatizations and model-theoretic properties F Yang Logic Journal of the IGPL 25 (5), 773-805, 2017 | 16 | 2017 |
Uniform definability in propositional dependence logic F Yang The Review of Symbolic Logic 10 (1), 65-79, 2017 | 16 | 2017 |
Model checking for modal intuitionistic dependence logic J Ebbing, P Lohmann, F Yang International Tbilisi Symposium on Logic, Language, and Computation, 231-256, 2011 | 15 | 2011 |
Negation and partial axiomatizations of dependence and independence logic revisited F Yang Annals of Pure and Applied Logic 170 (9), 1128-1149, 2019 | 13 | 2019 |
Structural completeness in propositional logics of dependence R Iemhoff, F Yang Archive for Mathematical Logic 55 (7), 955-975, 2016 | 13 | 2016 |
Logics for first-order team properties J Kontinen, F Yang International Workshop on Logic, Language, Information, and Computation, 392-414, 2019 | 9 | 2019 |
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 | 9 | 2019 |
Axiomatizing first order consequences in inclusion logic F Yang Mathematical Logic Quarterly 66 (2), 195-216, 2020 | 7 | 2020 |
Propositional union closed team logics F Yang Annals of Pure and Applied Logic 173 (6), 103102, 2022 | 6 | 2022 |
Complete logics for elementary team properties J Kontinen, F Yang The Journal of Symbolic Logic 88 (2), 579-619, 2023 | 5 | 2023 |