Research output per year
Research output per year
-
NNIL-formulas revisited: universal models and finite model property
Ilin, J., Jongh, D. D. & Yang, F., Mar 2021, In: Journal of Logic and Computation. 31, 2, p. 573–596 24 p., exaa063.Research output: Contribution to journal › Article › Scientific › peer-review
File -
Axiomatizing first-order consequences in inclusion logic
Yang, F., Jul 2020, In: Mathematical Logic Quarterly. 66, 2, p. 195-216 22 p.Research output: Contribution to journal › Article › Scientific › peer-review
-
Complete logics for elementary team properties
Kontinen, J. & Yang, F., 2020, (Submitted) In: arXiv.org .Research output: Contribution to journal › Article › Scientific › peer-review
Activities
-
Workshop on Logics of Dependence and Independence
Fan Yang (Chair of organizing committee)
10 Aug 2020 → 12 Aug 2020Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
3rd International Conference on Logic and Argumentation
Fan Yang (Scientific Committee Member)
2020 → …Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Intuitionistic logic in the team semantics setting
Fan Yang (Speaker)
27 Nov 2019Activity: Talk or presentation types › Invited talk