Iterated team semantics for a hierarchy of informational types

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103156

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

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

Separation logic and logics with team semantics.Darion Haase, Erich Grädel & Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103063.
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.Miika Hannula & Jonni Virtema - 2022 - Annals of Pure and Applied Logic 173 (10):103108.
Inclusion and exclusion dependencies in team semantics—on some logics of imperfect information.Pietro Galliani - 2012 - Annals of Pure and Applied Logic 163 (1):68-84.
‘Forms of Conditionality’: Response to ‘Truth-Maker Semantics for Some Substructural Logics’ by Ondrej Majer, Vít Punčochář and Igor Sedlár.Kit Fine - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 223-230.
Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects.J. Laird - 2017 - Annals of Pure and Applied Logic 168 (2):470-500.
Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.
Applications of iterated perfect set forcing.Marcia J. Groszek - 1988 - Annals of Pure and Applied Logic 39 (1):19-53.
Foundations of iterated star maps and their use in combinatorics.Mauro Di Nasso & Renling Jin - 2025 - Annals of Pure and Applied Logic 176 (1):103511.
Iterated pushdown automata and sequences of rational numbers.Séverine Fratani & Géraud Sénizergues - 2006 - Annals of Pure and Applied Logic 141 (3):363-411.
Reflection algebras and conservation results for theories of iterated truth.Lev D. Beklemishev & Fedor N. Pakhomov - 2022 - Annals of Pure and Applied Logic 173 (5):103093.

Analytics

Added to PP
2022-06-24

Downloads
23 (#950,505)

6 months
7 (#740,041)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Ifs and Oughts.Niko Kolodny & John MacFarlane - 2010 - Journal of Philosophy 107 (3):115-143.
Indicative conditionals.Robert Stalnaker - 1975 - Philosophia 5 (3):269-286.
Epistemic possibilities.Keith DeRose - 1991 - Philosophical Review 100 (4):581-605.
A Counterexample to Modus Tollens.Seth Yalcin - 2012 - Journal of Philosophical Logic 41 (6):1001-1024.
Semantic expressivism for epistemic modals.Peter Hawke & Shane Steinert-Threlkeld - 2020 - Linguistics and Philosophy 44 (2):475-511.

View all 16 references / Add more references