• PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20112020

Forskningsoutput per år

Om du gjort några ändringar i Pure kommer de visas här snart.

Personlig profil

Vetenskapsgrenar

  • 111 Matematik

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Publikationer

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., 2020, Advances in Modal Logic. Olivetti, N., Verbrugge, R., Negri, S. & Sandu, G. (red.). College publications, Vol. 13. s. 73-93

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V)

Väänänen, J. (red.) & Yang, F. (red.), 2020, University of Helsinki. 58 s. (Acta Generalia Instituti Mathematico-Rationarii)

Forskningsoutput: Bok/rapportBokVetenskapligPeer review

Öppen tillgång

Questions and Dependency in Intuitionistic Logic

Ciardelli, I., Iemhoff, R. & Yang, F., 2020, I : Notre Dame Journal of Formal Logic. 61, 1, s. 75-115 41 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång

Counting of Teams in First-Order Team Logics

Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., aug 2019, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Rossmanith, P., Heggernes, P. & Katoen, J-P. (red.). Vol. 138. s. 19:1-19:15 15 s. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 138).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Projekter

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

Yang, F. & Quadrellaro, D. E.

01/01/2019 → …

Projekt: Helsingfors Universitetets treåriga forskningsprojekt

Aktiviteter

  • 4 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
  • 4 !!Invited talk
  • 1 !!Oral presentation
  • 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

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

Fausto Barbero (!!Speaker), & Fan Yang (!!Speaker)

25 aug 2020

Aktivitet: Typer för tal eller presentation!!Oral presentation

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

Saarland University

Fan Yang (Besökande forskare)

2 jun 20196 jun 2019

Aktivitet: Typer för besök till extern institutionAkademisk besök på annan institution