Boolean valued semantics for infinitary logics

&
Annals of Pure and Applied Logic 175 (1):103333 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103333

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,676

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

Frame definability in finitely valued modal logics.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2023 - Annals of Pure and Applied Logic 174 (7):103273.
Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator.Andre Scedrov - 1986 - Annals of Pure and Applied Logic 32:103-109.
Separation logic and logics with team semantics.Darion Haase, Erich Grädel & Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103063.
On the Presburger fragment of logics with multiteam semantics.Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103120.
Boolean pairs formed by the Δn0-sets.E. Herrmann - 1997 - Annals of Pure and Applied Logic 87 (2):145-149.
Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.
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.
Infinitary first-order categorical logic.Christian Espíndola - 2019 - Annals of Pure and Applied Logic 170 (2):137-162.
Modality, bisimulation and interpolation in infinitary logic.Johan van Benthem - 1999 - Annals of Pure and Applied Logic 96 (1-3):29-41.
Omitting uncountable types and the strength of [0,1]-valued logics.Xavier Caicedo & José N. Iovino - 2014 - Annals of Pure and Applied Logic 165 (6):1169-1200.

Analytics

Added to PP
2023-07-19

Downloads
25 (#875,284)

6 months
8 (#569,389)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Juan Suárez
Universidad de La Sabana

Citations of this work

No citations found.

Add more citations

References found in this work

Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
The completeness theorem for infinitary logic.Richard Mansfield - 1972 - Journal of Symbolic Logic 37 (1):31-34.

Add more references