• 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
2019

Counting of Teams in First-Order Team Logics

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

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

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

Open access
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

A Multi-type Calculus for Inquisitive Logic

Frittella, S., Greco, G., Palmigiano, A. & Yang, F., elokuuta 2016, Logic, Language, Information, and Computation. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (toim.). Springer-Verlag, s. 215–233 34 Sivumäärä ( Lecture Notes in Computer Science; Vuosikerta 9803).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Dependence and Independence in Social Choice: Arrow’s Theorem

Pacuit, E. & Yang, F., kesäkuuta 2016, Dependence Logic: Theory and Applications. Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H. (toim.). Cham: Birkhäuser, s. 235-260 26 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

Negation and partial axiomatizations of dependence and independence logic revisited

Yang, F., 6 elokuuta 2016, Logic, Language, Information, and Computation. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (toim.). Springer-Verlag, s. 410-431 ( Lecture Notes in Computer Science; Vuosikerta 9803).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Tiedosto

NNIL Axioms Have the Finite Model Property

Ilin, J., de Jongh, D. & Yang, F., 2016, Liber Amicorum Alberti: A Tribute to Albert Visser. van Eijck, J., Iemhoff, R. & Joosten, J. J. (toim.). College publications, Vuosikerta 30.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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

Model Checking for Modal Intuitionistic Dependence Logic

Ebbing, J., Lohmann, P. & Yang, F., 2013, (Hyväksytty/In press) Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers. Bezhanishvili, G. (toim.). Berlin: Springer-Verlag, s. 231–256 26 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 7758).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

2011

Jankov's Theorems for Intermediate Logics in the Setting of Universal Models

de Jongh, D. & Yang, F., 1 tammikuuta 2011, LOGIC, LANGUAGE, AND COMPUTATION: 8th International Tbilisi Symposium on Logic, Language, and Computation. Bezhanishvili, N., Löbner, S., Schwabe, K. & Spada, L. (toim.). Springer-Verlag, s. 53-76 24 Sivumäärä (Lecture Notes in Artificial Intelligence; Vuosikerta 6618).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu