4 papers · 1 filter
Fischer-Servi logic does not have interpolation
Rodrigo Nicolau Almeida, Nick Bezhanishvili, Simon Lemal
We prove that the Fischer-Servi logic does not have the (Craig) interpolation property. This is obtained by showing that the corresponding class of modal Heyting alge…
Superamalgamation for modal lattices via non-distributive dualities
Rodrigo Nicolau Almeida, Nick Bezhanishvili, Simon Lemal
We show that the variety of modal lattices has the superamalgamation property. As a consequence, we obtain that the weak positive modal logic has the Craig interpolation property.…
Modal Fragments
Nick Bezhanishvili, Balder ten Cate, Arunavo Ganguly +1
We survey systematic approaches to basis-restricted fragments of propositional logic and modal logics, with an emphasis on how expressive power and computational complexity depend…
The Cardinalities of Intervals of Equational Theories and Logics
Juan P. Aguilera, Nick Bezhanishvili, Tenyo Takahashi
We study the cardinality of classes of equational theories (varieties) and logics by applying descriptive set theory. We affirmatively solve open problems raised by Jackson and Lee…