• PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20112019
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Julkaisut 2011 2019

  • 8 Artikkeli
  • 6 Konferenssiartikkeli
  • 2 Kirjan luku tai artikkeli
Suodatin
Artikkeli
2019

Negation and partial axiomatizations of dependence and independence logic revisited

Yang, F., syyskuuta 2019, julkaisussa : Annals of Pure and Applied Logic. 170, 9, s. 1128-1149 22 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access

Questions and Dependency in Intuitionistic Logic

Ciardelli, I., Iemhoff, R. & Yang, F., 2019, (Hyväksytty/In press) julkaisussa : Notre Dame Journal of Formal Logic.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
2017

Modal Dependence Logics: Axiomatizations and Model-theoretic Properties

Yang, F., 3 elokuuta 2017, julkaisussa : Logic journal of the IGPL. 25, 5, s. 773-805 33 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Tiedosto

Propositional team logics

Yang, F. & Väänänen, J., heinäkuuta 2017, julkaisussa : Annals of Pure and Applied Logic. 168, 7, s. 1406-1441 36 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Uniform Definability in Propositional Dependence Logic

Yang, F., 1 maaliskuuta 2017, julkaisussa : The Review of Symbolic Logic. 10, 1, s. 65-79 15 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Tiedosto
2016

Propositional Logics of Dependence

Yang, F. & Väänänen, J., 2016, julkaisussa : Annals of Pure and Applied Logic. 167, 7, s. 557-589 33 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Structural completeness in propositional logics of dependence

Iemhoff, R. & Yang, F., 15 syyskuuta 2016, julkaisussa : Archive for Mathematical Logic. 55, 7, s. 955-975 21 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Tiedosto
2013

Expressing Second-order Sentences in Intuitionistic Dependence Logic

Yang, F., 2013, julkaisussa : Studia Logica. 101, 2, s. 323-342 20 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu