1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.CT2020
Implications of a Quillen Model Structures-Based Framework for Locality under Logical Equivalence
Hendrick Maia
In [15] a homotopic variation for locality of logics was presented, namely a Quillen model category-based framework for locality under logical equivalence, for every primitive-posi…
math.CT2020★ 1 cited
Quillen Model Structures-Based Notions of Locality of Logics over Finite Models
Hendrick Maia
Locality is a property of logics, based on Hanf's and Gaifman's theorems, and that was shown to be very useful in the context of finite model theory. In this paper I present a homo…