Separation logic and logics with team semantics

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

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,322

External links

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

Through your library

Similar books and articles

Propositional team logics.Fan Yang & Jouko Väänänen - 2017 - Annals of Pure and Applied Logic 168 (7):1406-1441.
Axiomatizations of team logics.Martin Lück - 2018 - Annals of Pure and Applied Logic 169 (9):928-969.
Propositional union closed team logics.Fan Yang - 2022 - Annals of Pure and Applied Logic 173 (6):103102.
Enumerating teams in first-order team logics.Anselm Haak, Arne Meier, Fabian Müller & Heribert Vollmer - 2022 - Annals of Pure and Applied Logic 173 (10):103163.
Iterated team semantics for a hierarchy of informational types.Vít Punčochář - 2022 - Annals of Pure and Applied Logic 173 (10):103156.
On the Presburger fragment of logics with multiteam semantics.Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103120.
Boolean valued semantics for infinitary logics.Juan M. Santiago Suárez & Matteo Viale - 2024 - Annals of Pure and Applied Logic 175 (1):103333.

Analytics

Added to PP
2021-12-03

Downloads
35 (#527,341)

6 months
13 (#197,981)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

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.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.

View all 8 references / Add more references