Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals

Barbero, F. and Virtema, J. orcid.org/0000-0002-1582-3718 (2023) Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. In: Gaggl, S., Martinez, M.V. and Ortiz, M., (eds.) Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), 20-22 Sep 2023, Dresden, Germany. Lecture Notes in Computer Science (LNAI 14281). Springer Cham , pp. 649-664. ISBN 9783031436185

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Gaggl, S.
  • Martinez, M.V.
  • Ortiz, M.
Copyright, Publisher and Additional Information:

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG. This is an author-produced version of a paper subsequently published in Logics in Artificial Intelligence. JELIA 2023. Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 24 September 2023
  • Published (online): 24 September 2023
  • Accepted: 10 July 2023
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
Funder
Grant number
DEUTSCHE FORSCHUNGSGEMEINSCHAFT
432788559
Depositing User: Symplectic Sheffield
Date Deposited: 13 Jul 2023 11:32
Last Modified: 24 Sep 2024 00:13
Status: Published
Publisher: Springer Cham
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-031-43619-2_44
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)