Syntactic Refutations against Finite Models in Modal Logic
Tomasz Skura · Notre Dame Journal of Formal Logic · 1994
The purpose of the paper is to study syntactic refutation systems as a way of characterizing normal modal propositional logics. In particular it is shown that there is a decidable modal logic without the finite model property that has a simple finite refutation system.