Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

Hannula, M. and Virtema, J. (2022) Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. Annals of Pure and Applied Logic. 103108. ISSN 0168-0072

Abstract

Metadata

Authors/Creators:
  • Hannula, M.
  • Virtema, J.
Copyright, Publisher and Additional Information: © 2022 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).
Keywords: Dependence logic; Team semantics; Metafinite structures; Blum-Shub-Smale machine
Dates:
  • Accepted: 25 February 2022
  • Published (online): 4 March 2022
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
DEUTSCHE FORSCHUNGSGEMEINSCHAFTUNSPECIFIED
Depositing User: Symplectic Sheffield
Date Deposited: 07 Mar 2022 10:12
Last Modified: 21 Mar 2022 16:22
Status: Published
Publisher: Elsevier BV
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.apal.2022.103108

Share / Export

Statistics