Showing math.LOShow all
2 papers · 1 filter
math.LO2026
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…
math.LO2026
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.…