• 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
Conference contribution
2020

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. (eds.). College publications, Vol. 13. p. 73-93

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File
2019

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. (eds.). Vol. 138. p. 19:1-19:15 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 138).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File
2016

A Multi-type Calculus for Inquisitive Logic

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Negation and partial axiomatizations of dependence and independence logic revisited

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

File
2013

Model Checking for Modal Intuitionistic Dependence Logic

Ebbing, J., Lohmann, P. & Yang, F., 2013, (Accepted/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. (ed.). Berlin: Springer-Verlag, p. 231–256 26 p. (Lecture Notes in Computer Science; vol. 7758).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2011

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review