Åsa Hirvonen

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 7

Top Topics

Probabilistic Knowledge

Agent Oriented Programming Language

Top Venues

Ann. Pure Appl. Log.

Publications

Åsa Hirvonen, Joni Puljujärvi
Games and Scott sentences for positive distances between metric structures. Ann. Pure Appl. Log. 173 (7) (2022)
Åsa Hirvonen, Juha Kontinen, Arno Pauly
Continuous Team Semantics. TAMC (2019)
Åsa Hirvonen, Tapani Hyttinen
On eigenvectors, approximations and the Feynman propagator. Ann. Pure Appl. Log. 170 (1) (2019)
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
Facets of Distribution Identities in Probabilistic Team Semantics. JELIA (2019)
Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl
Preface. Ann. Pure Appl. Log. 169 (12) (2018)
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
Facets of Distribution Identities in Probabilistic Team Semantics. CoRR (2018)
Åsa Hirvonen, Tapani Hyttinen
Measuring Dependence in Metric Abstract Elementary Classes with perturbations. J. Symb. Log. 82 (4) (2017)
Åsa Hirvonen, Tapani Hyttinen
Categoricity in homogeneous complete metric spaces. Arch. Math. Log. 48 (3-4) (2009)