7 citations · 8 across the 6 of their papers we have counts for
6 papers
Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
Miguel Martins, Tommaso Moraschini
A bi-Heyting algebra validates the Gödel-Dummett axiom iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-H…
Degrees of the finite model property: the antidichotomy theorem
Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini
A classic result in modal logic, known as the Blok Dichotomy Theorem, states that the degree of incompleteness of a normal extension of the basic modal logic is or $2^{…
On locally finite varieties of Heyting algebras
M. Martins, T. Moraschini
For every , we construct a variety of Heyting algebras, whose -generated free algebra is finite but whose -generated free algebra is infinite.
Bi-intermediate logics of trees and co-trees
N. Bezhanishvili, M. Martins, T. Moraschini
A bi-Heyting algebra validates the Gödel-Dummett axiom iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-H…
Positive Modal Logic Beyond Distributivity
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot +1
We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic…
Profiniteness and representability of spectra of Heyting algebras
G. Bezhanishvili, N. Bezhanishvili, T. Moraschini +1
We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More gener…