• PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20112020

Research output per year

If you made any changes in Pure these will be visible here soon.

Activities

  • 4 Organisation and participation in conferences, workshops, courses, seminars
  • 4 Invited talk
  • 1 Oral presentation
  • 1 Academic visit to other institution
Filter
Invited talk

Intuitionistic logic in the team semantics setting

Fan Yang (Speaker)

27 Nov 2019

Activity: Talk or presentation typesInvited talk

Logics for first-order team properties

Fan Yang (Speaker)

9 May 2019

Activity: Talk or presentation typesInvited talk

Axiomatizing (essentially) first-order consequences in first-order logics of dependence and independence

Fan Yang (Speaker)

25 Jul 201827 Jul 2018

Activity: Talk or presentation typesInvited talk

Analyzing Arrow's Theorem Through Dependence and Independence Logic

Fan Yang (Speaker)

16 May 201819 May 2018

Activity: Talk or presentation typesInvited talk