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

Projektin yksityiskohdat

Lyhennetty nimiLogical no-go theorems
TilaKäynnissä
Todellinen alku/loppupvm01/01/2019 → …

Tutkimustuotos

  • 2 Konferenssiartikkeli
  • 2 Artikkeli

Axiomatizing first-order consequences in inclusion logic

Yang, F., heinäkuuta 2020, julkaisussa : Mathematical Logic Quarterly. 66, 2, s. 195-216 22 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Counterfactuals and dependencies on causal teams: expressive power and deduction systems

Barbero, F. & Yang, F., 2020, Advances in Modal Logic. Olivetti, N., Verbrugge, R., Negri, S. & Sandu, G. (toim.). College publications, Vuosikerta 13. s. 73-93

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Logics for first-order team properties

Kontinen, J. & Yang, F., 18 huhtikuuta 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (toim.). Springer-Verlag, Vuosikerta 11541. s. 392-414 23 Sivumäärä (Lecture Notes in Computer Science).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Aktiviteetit

  • 4 Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
  • 2 Kutsuesitelmä
  • 1 Akateeminen vierailu toiseen organisaatioon

3rd International Conference on Logic and Argumentation

Fan Yang (Tieteellisen komitean jäsen)

2020 → …

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

Workshop on Logics of Dependence and Independence

Fan Yang (Järjestäjätoimikunnan puheenjohtaja)

10 elokuuta 202012 elokuuta 2020

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

Intuitionistic logic in the team semantics setting

Fan Yang (Puhuja)

27 marraskuuta 2019

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä