The Decidability of Logics
Alexander Chagrov, Michael Zakharyaschev · 1997
Abstract The first and perhaps most important algorithmic question arising immediately after creating a logic is the question of its decidability: is there an algorithm which is c;apable of deciding, given an arbitrary formula, whether it belongs to the logic or not?