9 citations · 16 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022
Frame definability in finitely-valued modal logics
Guillermo Badia, Xavier Caicedo, Carles Noguera
In this paper we study frame definability in finitely-valued modal logics and establish two main results via suitable translations: (1) in finitely-valued modal logics one cannot d…
math.LO2022
Maximality of logic without identity
Guillermo Badia, Xavier Caicedo, Carles Noguera
Lindström theorem obviously fails as a characterization of , first-order logic without identity. In this note we provide a fix: we show that $\mathcal{L}_{ωω…