• PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20112020

Research output per year

If you made any changes in Pure these will be visible here soon.

Publications

Filter
Article
2020

Axiomatizing first-order consequences in inclusion logic

Yang, F., Jul 2020, In : Mathematical Logic Quarterly. 66, 2, p. 195-216 22 p.

Research output: Contribution to journalArticleScientificpeer-review

Questions and Dependency in Intuitionistic Logic

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

Research output: Contribution to journalArticleScientificpeer-review

Open Access
2019

Negation and partial axiomatizations of dependence and independence logic revisited

Yang, F., Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 1128-1149 22 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access

NNIL-formulas revisited: universal models and finite model property

Ilin, J., Jongh, D. D. & Yang, F., 2019, (Submitted) In : arXiv.org .

Research output: Contribution to journalArticleScientificpeer-review

File
2017

Modal Dependence Logics: Axiomatizations and Model-theoretic Properties

Yang, F., 3 Aug 2017, In : Logic journal of the IGPL. 25, 5, p. 773-805 33 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Propositional team logics

Yang, F. & Väänänen, J., Jul 2017, In : Annals of Pure and Applied Logic. 168, 7, p. 1406-1441 36 p.

Research output: Contribution to journalArticleScientificpeer-review

Uniform Definability in Propositional Dependence Logic

Yang, F., 1 Mar 2017, In : The Review of Symbolic Logic. 10, 1, p. 65-79 15 p.

Research output: Contribution to journalArticleScientificpeer-review

File
2016

Propositional Logics of Dependence

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

Research output: Contribution to journalArticleScientificpeer-review

Structural completeness in propositional logics of dependence

Iemhoff, R. & Yang, F., 15 Sep 2016, In : Archive for Mathematical Logic. 55, 7, p. 955-975 21 p.

Research output: Contribution to journalArticleScientificpeer-review

File
2013

Expressing Second-order Sentences in Intuitionistic Dependence Logic

Yang, F., 2013, In : Studia Logica. 101, 2, p. 323-342 20 p.

Research output: Contribution to journalArticleScientificpeer-review