1 citations · 1 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026★ 1 cited
Constructive S4 modal logics with the finite birelational frame property
Philippe Balbiani, MartÃn Diéguez, David Fernández-Duque +1
The logics and are the two leading intuitionistic variants of the modal logic . Whether the finite model property holds for each of these…
cs.LO2024
Preservation theorems for Tarski's relation algebra
Bart Bogaerts, Balder ten Cate, Brett McLean +1
We investigate a number of semantically defined fragments of Tarski's algebra of binary relations, including the function-preserving fragment. We address the question whether they…