Abstract
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.
Citation
Tomasz Skura. "Syntactic Refutations against Finite Models in Modal Logic." Notre Dame J. Formal Logic 35 (4) 595 - 605, Fall 1994. https://doi.org/10.1305/ndjfl/1040408615
Information