31 citations · 111 across the 33 of their papers we have counts for
6 papers · 2 filters
Logics with probabilistic team semantics and the Boolean negation
Miika Hannula, Minna Hirvonen, Juha Kontinen +3
We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic ind…
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions
Teemu Hankala, Miika Hannula, Juha Kontinen +1
We study the complexity of the problem of training neural networks defined via various activation functions. The training problem is known to be existsR-complete with respect to li…
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
Juha Kontinen, Max Sandström, Jonni Virtema
We introduce and develop a set-based semantics for asynchronous TeamLTL. We consider two canonical logics in this setting: the extensions of TeamLTL by the Boolean disjunction and…
Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
Fausto Barbero, Jonni Virtema
Causal multiteam semantics is a framework where probabilistic notions and causal inference can be studied in a unified setting. We study a logic (PCO) that features marginal probab…
Unified Foundations of Team Semantics via Semirings
Timon Barlag, Miika Hannula, Juha Kontinen +2
Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for st…
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
Fausto Barbero, Jonni Virtema
Causal multiteam semantics is a framework where probabilistic dependencies arising from data and causation between variables can be formalized together and studied logically. We di…