Logical analysis of no-go theorems in social choice and quantum foundations

Project Details

Short titleLogical no-go theorems
StatusActive
Effective start/end date01/01/2019 → …
View all
View less

Access Project

Research Output

  • 2 Article
  • 1 Conference contribution

Axiomatizing first-order consequences in inclusion logic

Yang, F., Jul 2020, In : Mathematical Logic Quarterly. 66, 2, p. 195-216

Research output: Contribution to journal › Article › Scientific › peer-review

Logics for first-order team properties

Kontinen, J. & Yang, F., 18 Apr 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Springer-Verlag, Vol. 11541. p. 392-414 23 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File

NNIL-formulas revisited: universal models and finite model property

Ilin, J., Jongh, D. D. & Yang, F., 2019, (Submitted) In : arXiv.org .

Research output: Contribution to journal › Article › Scientific › peer-review

File

Activities

  • 3 Organisation and participation in conferences, workshops, courses, seminars
  • 2 Invited talk
  • 1 Academic visit to other institution

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 2019

Activity: Talk or presentation types › Invited talk

13th International Tbilisi Symposium on Language, Logic and Computation

Fan Yang (Scientific Committee Member)
16 Sep 2019 → 20 Sep 2019

Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars