Research output per year
Research output per year
Personal profile
Fields of Science
- 111 Mathematics
International and National Collaboration
Publications and projects within past five years.
-
Complete logics for elementary team properties
Kontinen, J. & Yang, F., Jun 2023, In: Journal of Symbolic Logic. 88, 2, p. 579 - 619 41 p., PII S0022481222000809.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Logics with Probabilistic Team Semantics and the Boolean Negation
Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Cham: Springer, p. 665-680 16 p. (Lecture Notes in Computer Science; vol. 14281).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
-
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
Kontinen, J., Sandström, M. & Virtema, J., 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 60:1-60:14 (LIPIcs).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Unified Foundations of Team Semantics via Semirings
Barlag, T., Hannula, M., Kontinen, J., Pardal, N. & Virtema, J., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). p. 75-85 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
A parameterized view on the complexity of dependence and independence logic
Kontinen, J., Meier, A. & Mahmood, Y., Dec 2022, In: Journal of Logic and Computation. 33, 8, p. 1624–1644 21 p., exac070.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile
Projects
- 8 Finished
-
Riippuvuuslogiikka ja sen sovellutukset / Kontinen Juha H5160 / 09/2017-08/2021
01/09/2017 → 31/08/2021
Project: Research project
-
Kuvailevaa vaativuusteoriaa aritmeettiselle laskennalle / Kontinen Juha H516 01/2017-12/2018
20/01/2017 → 31/12/2018
Project: Research project
-
-
Tiimisemantiikan logiikat ja niiden sovellutukset temporaalisiin ja dynaamisiin systeemeihin
23/01/2014 → 31/12/2015
Project: Research project
-
Activities
-
32th EACSL Annual Conference on Computer Science Logic (CSL 2024)
Juha Kontinen (Scientific Committee Member)
Mar 2023 → Feb 2024Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Thirty-Ninth Annual ACM/IEEE Symposium onLogic in Computer Science (LICS)
Juha Kontinen (Scientific Committee Member)
Jun 2023 → Jul 2024Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Leibniz University Hannover, Hannover, Germany
Juha Kontinen (Visiting researcher)
23 Jan 2023 → 3 Feb 2023Activity: Visiting an external institution types › Academic visit to other institution
-
Universit ́e de Paris
Juha Kontinen (Visiting researcher)
27 Feb 2023 → 10 Mar 2023Activity: Visiting an external institution types › Academic visit to other institution
-
Logics in team semantics
Juha Kontinen (Speaker)
3 Jun 2023Activity: Talk or presentation types › Invited talk