Tableau-based translation from first-order logic to modal logic - Perkov, Tin; Mikec, Luka (Reports on mathematical logic, 2021)
Keywords: Equivalence; Invariance; Logic; modal logic; bisimulation invariance; tableaux