Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals

von Hannula, Miika
Veröffentlicht in JELIA (17. : 2021 : Online) Logics in Artificial Intelligence (2021)

Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals

von Barbero, Fausto
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Logics with Probabilistic Team Semantics and the Boolean Negation

von Hannula, Miika
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)