Looginen tutkimus indeterministisestä kausaliteetista

Projekti: Suomen Akatemia: Akatemiatutkija

Lyhennetty nimi	Looginen tutkimus indeterministisestä ka
Tila	Käynnissä
Todellinen alku/loppupvm	01/09/2022 → 31/08/2027

Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
Barbero, F. & Virtema, J., 2024, Leibniz International Proceedings in Informatics (LIPIcs). Murano, A. & Silva, A. (toim.). Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 15:1–15:19 19 Sivumäärä (Leibniz International Proceedings in Informatics (LIPIcs); Vuosikerta 288).
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto
Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals
Barbero, F. & Virtema, J., 24 syysk. 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Gaggl, S., Martinez, M. V. & Ortiz, M. (toim.). Springer, Cham, s. 649–664 16 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta LNAI 14281).
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Embedding causal team languages into predicate logic
Barbero, F. & Galliani, P., jouluk. 2022, julkaisussa: Annals of Pure and Applied Logic. 173, 10, 42 Sivumäärä
Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto

University of Utrecht
Fausto Barbero (Vieraileva tutkija)
1 lokak. 2023 → 30 lokak. 2023
Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
Generalizing the logic of causal counterfactuals
Fausto Barbero (Puhuja)
12 lokak. 2023
Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
Fausto Barbero (Puhuja)
21 syysk. 2023
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys

Projektin yksityiskohdat