3 papers
math.LO2025
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^{…
math.LO2024
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-…
math.LO2024
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-…