Joni Puljujärvi, Ph.D. Student

Ph.D. student in mathematical logic at the Helsinki Logic Group.

Research interests

Strong and non-classical logics
Application of games in logic
Application of logic in studying phenomena of quantum physics (in particular, quantum computation)
Model theory of dependence logic

Room:	B315, Exactum
Address:	Department of Mathematics and Statistics, P.O. Box 68 (Pietari Kalmin katu 5), 00014 University of Helsinki
Email:	joni.puljujarvi[at]helsinki.fi

Åsa Hirvonen & Joni Puljujärvi
Games and Scott sentences for positive distances between metric structures
Annals of Pure and Applied Logic, Volume 173, Issue 7 (July 2022)

Joni Puljujärvi & Davide Emilio Quadrellaro
Compactness in Team Semantics
arXiv:2212.03677 (December 2022)
Samson Abramsky, Joni Puljujärvi & Jouko Väänänen
Team Semantics and Independence Notions in Quantum Physics
arXiv:2107.10817 (July 2021)
Åsa Hirvonen & Joni Puljujärvi
Games and Scott sentences for linear isomorphisms of Banach spaces
arXiv:2102.00993v1 (February 2021; an old version of the published paper)

Team semantics and independence notions in quantum physics, Resources in Computation – project meeting (2022), 2022-09-21
Games and Scott sentences for positive distances between metric structures, Logic Colloquium 2022, 2022-07-01
Compactness Theorem for Independence Logic, Helsinki Logic Seminar, 2021-03-16
Independence Logic and Quantum Physics, Finnish Mathematical Days 2022, 2022-01-04
Team Semantics and Independence Notions in Quantum Physics, Workshop on Logics of Dependence and Independence, 2021-08-10
Team Semantics and Independence Notions in Quantum Physics, Helsinki Logic Seminar, 2021-04-14
On a Quest to Capture Linear Isomorphism, Part 2: From Games to Formulas, Helsinki Logic Seminar, 2020-01-29
On a Quest to Capture Linear Isomorphism, Part 1: Games on Banach Spaces, Helsinki Logic Seminar, 2020-01-22
Scott sentences of metric structures in infinitary continuous logic (master's thesis), Helsinki Logic Seminar, 2019-09-04

For other information, see my portfolio.