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

&
Annals of Pure and Applied Logic 173 (10):103108 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103108

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quantum Team Logic and Bell’s Inequalities.Tapani Hyttinen, Gianluca Paolini & Jouko Väänänen - 2015 - Review of Symbolic Logic 8 (4):722-742.
An Absolute Probabilistic Semantics for Free Logic with Identity.Lisa Anne O'neill - 1998 - Dissertation, Temple University
From worlds to probabilities: A probabilistic semantics for modal logic.Charles B. Cross - 1993 - Journal of Philosophical Logic 22 (2):169 - 192.
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties.Juha Kontinen & Max Sandström - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 302-318.
A Δ22 well-order of the reals and incompactness of L.Uri Abraham & Saharon Shelah - 1993 - Annals of Pure and Applied Logic 59 (1):1-32.
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information.Pietro Galliani & Allen L. Mann - 2013 - Studia Logica 101 (2):293-322.
Second-order logic: properties, semantics, and existential commitments.Bob Hale - 2019 - Synthese 196 (7):2643-2669.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
A Double Team Semantics for Generalized Quantifiers.Antti Kuusisto - 2015 - Journal of Logic, Language and Information 24 (2):149-191.
Regular reals.Guohua Wu - 2005 - Mathematical Logic Quarterly 51 (2):111-119.
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Damásio & Luís Pereira - 2002 - Studia Logica 72 (1):113-138.
Complexity of reals in inner models of set theory.Boban Velickovic & Hugh Woodin - 1998 - Annals of Pure and Applied Logic 92 (3):283-295.
Complexity of reals in inner models of set theory.Boban Velickovic & W. Hugh Woodin - 1998 - Annals of Pure and Applied Logic 92 (3):283-295.
Doubly Strongly First Order Dependencies.Pietro Galliani - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 47-63.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.

Analytics

Added to PP
2022-04-07

Downloads
10 (#1,197,378)

6 months
6 (#528,006)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
On the Presburger fragment of logics with multiteam semantics.Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103120.

View all 9 references / Add more references