Logics with probabilistic team semantics and the Boolean negation

Hannula, M., Hirvonen, M., Kontinen, J. et al. (3 more authors) (2023) Logics with probabilistic team semantics and the Boolean negation. 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. 665-680. 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.

Keywords: Probabilistic Team Semantics; Model Checking; Satisfiability; Validity; Computational Complexity; Expressivity of Logics
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 12:02
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_45
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics