Quillen Model Categories-Based Notions of Locality of Logics over Finite Structures

Bulletin of Symbolic Logic 28 (4):529-530 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2021.37

Links

PhilArchive



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

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

Game-based notions of locality over finite models.Marcelo Arenas, Pablo Barceló & Leonid Libkin - 2008 - Annals of Pure and Applied Logic 152 (1-3):3-30.
Almost everywhere equivalence of logics in finite model theory.Lauri Hella, Phokion G. Kolaitis & Kerkko Luosto - 1996 - Bulletin of Symbolic Logic 2 (4):422-443.
Elements of Finite Model Theory.Leonid Libkin - 2004 - Springer.
Notions of Locality and Their Logical Characterizations Over Finite Models.Lauri Hella, Leonid Libkin & Juha Nurmonen - 1999 - Journal of Symbolic Logic 64 (4):1751-1773.
Notions of locality and their logical characterizations over finite models.Lauri Hella, Leonid Libkin & Juha Nurmonen - 1999 - Journal of Symbolic Logic 64 (4):1751-1773.
Finite variable logics in descriptive complexity theory.Martin Grohe - 1998 - Bulletin of Symbolic Logic 4 (4):345-398.
Martin-Löf complexes.S. Awodey & M. A. Warren - 2013 - Annals of Pure and Applied Logic 164 (10):928-956.
Determinism and locality in quantum systems.W. Michael Dickson - 1996 - Synthese 107 (1):55 - 82.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2005 - Springer.
An Algebraic Characterization of Equivalent Preferential Models.Zhaohui Zhu & Rong Zhang - 2007 - Journal of Symbolic Logic 72 (3):803 - 833.
A Separable, Dynamically Local Ontological Model of Quantum Mechanics.Jacques Pienaar - 2016 - Foundations of Physics 46 (1):104-119.
Some aspects of model theory and finite structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknown
Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177-200.
Inexhaustibility and human being: an essay on locality.Stephen David Ross - 1989 - New York: Fordham University Press.

Analytics

Added to PP
2023-01-17

Downloads
3 (#1,723,243)

6 months
2 (#1,243,547)

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

No references found.

Add more references