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

Projektinformation

Kort titelLogical no-go theorems
StatusPågående
Gällande start-/slutdatum01/01/2019 → …

Forskningsresultat

Axiomatizing first-order consequences in inclusion logic

Yang, F., jul 2020, I : Mathematical Logic Quarterly. 66, 2, s. 195-216 22 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

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

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

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. (red.). Springer-Verlag, Vol. 11541. s. 392-414 23 s. (Lecture Notes in Computer Science).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Aktiviteter

  • 4 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
  • 2 !!Invited talk
  • 1 Akademisk besök på annan institution

3rd International Conference on Logic and Argumentation

Fan Yang (Medlem av vetenskaplig kommitté)

2020 → …

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Workshop on Logics of Dependence and Independence

Fan Yang (Ordförande i organisationskommitté)

10 aug 202012 aug 2020

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Intuitionistic logic in the team semantics setting

Fan Yang (!!Speaker)

27 nov 2019

Aktivitet: Typer för tal eller presentation!!Invited talk