Forskningsresultat per år
Forskningsresultat per år
- 19 resultat
Sökresultat
-
2024
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
Barbero, F. & Virtema, J., 2024, Leibniz International Proceedings in Informatics (LIPIcs). Murano, A. & Silva, A. (red.). Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 15:1–15:19 19 s. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 288).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Multiteam semantics for interventionist counterfactuals: probabilities and causation
Barbero, F. & Sandu, G., 1 okt. 2024, I: Journal of Philosophical Logic. 41 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
On the Logic of Interventionist Counterfactuals Under Indeterministic Causal Laws
Barbero, F., 2024, Foundations of Information and Knowledge Systems. Springer, Cham, Vol. 14589. s. 203–221 19 s. (Lecture Notes in Computer Science; vol. 14589).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
2023
Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals
Barbero, F. & Virtema, J., 24 sep. 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Gaggl, S., Martinez, M. V. & Ortiz, M. (red.). Springer, Cham, s. 649–664 16 s. (Lecture Notes in Computer Science; vol. LNAI 14281).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
2022
Characterizing counterfactuals and dependencies over (generalized) causal teams
Barbero, F. & Yang, F., aug. 2022, I: Notre Dame Journal of Formal Logic. 63, 3, s. 301-341 41 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Embedding causal team languages into predicate logic
Barbero, F. & Galliani, P., dec. 2022, I: Annals of Pure and Applied Logic. 173, 10, 42 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Observing interventions: A logic for thinking about experiments
Barbero, F., Schulz, K., Velazquez-Quesada, F. & Xie, K., 1 apr. 2022, I: Journal of Logic and Computation. exac011.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgång -
2021
Complexity of syntactical tree fragments of Independence-Friendly logic
Barbero, F., jan. 2021, I: Annals of Pure and Applied Logic. 172, 1, 43 s., 102859.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Independence-friendly logic without Henkin quantification
Barbero, F., Hella, L. & Rönnholm, R., juli 2021, I: Archive for Mathematical Logic. 60, 5, s. 547–597 51 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions
Barbero, F. & Sandu, G., juni 2021, I: Journal of Philosophical Logic. 50, 3, s. 471–521 51 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
2020
Counterfactuals and dependencies on causal teams: expressive power and deduction systems
Barbero, F. & Yang, F., 20 juli 2020, Advances in Modal Logic. Olivetti, N., Verbrugge, R., Negri, S. & Sandu, G. (red.). College publications, Vol. 13. s. 73-93 21 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Embedding causal team languages into dependence logic
Barbero, F. & Galliani, P., 2020. 5 s.Forskningsoutput: Konferensbidrag › Sammanfattning › Peer review
-
Thinking About Causation: A Causal Language with Epistemic Operators
Barbero, F., Schulz, K., Smets, S., Velazquez-Quesada, F. R. & Xie, K., 22 dec. 2020, Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers. Martins, M. & Sedlar, I. (red.). Springer, Vol. LNCS, volume 12569. s. 17-32 16 s. (Lecture Notes in Computer Science; vol. 12569).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
2019
Interventionist counterfactuals on causal teams
Barbero, F. & Sandu, G., 3 jan. 2019, Proceedings CREST 2018. s. 16-30 15 s. (Logic in Computer Science (cs.LO)).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Some observations about generalized quantifiers in logics of imperfect information
Barbero, F., sep. 2019, I: The Review of Symbolic Logic. 12, 3, s. 456-486 31 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Undefinability in Inquisitive Logic with Tensor
Ciardelli, I. & Barbero, F., 2019, Logic, Rationality and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Blackburn, P., Lorini, E. & Guo, M. (red.). Lecture Notes in Computer Science red. Springer, Vol. 11813. s. 29-42 14 s. (Lecture Notes in Computer Science; vol. 11813).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
2017
Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences
Barbero, F., sep. 2017, I: Journal of Logic, Language and Information. 26, 3, s. 221-260 40 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Independence-Friendly Logic Without Henkin Quantification
Barbero, F., Hella, L. & Rönnholm, R., 2017, Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Kennedy, J. & de Queiroz, R. (red.). Springer, Vol. 10388. s. 14-30 17 s. (Lecture Notes in Computer Science).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Team semantics for interventionist counterfactuals and causal dependence
Barbero, F. & Sandu, G., 22 dec. 2017, I: arXiv.org . 64 s., arXiv:1712.08661.Forskningsoutput: Tidskriftsbidrag › Andra artiklar › Vetenskaplig
Fil