T. Moraschini

activity

20212024

most citedPositive Modal Logic Beyond Distributivity

7 citations · 8 across the 6 of their papers we have counts for

collaborators

Showing 2023 · math.LOShow all

2 papers · 2 filters

math.LO2023

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 $K$ is $1$ or $2^{…

math.LO2023

On locally finite varieties of Heyting algebras

M. Martins, T. Moraschini

For every $n \in N$ , we construct a variety of Heyting algebras, whose $n$ -generated free algebra is finite but whose $(n + 1)$ -generated free algebra is infinite.