PP-2014-08: Bezhanishvili, Guram and Bezhanishvili, Nick and Iemhoff, Rosalie (2014) Stable canonical rules. [Report]
Preview |
Text (Full Text)
PP-2014-08.text.pdf Download (390kB) | Preview |
Text (Abstract)
PP-2014-08.abstract.txt Download (748B) |
|
Preview |
Text (Full Text (Jun 2014 version))
PP-2014-08.text-Jun-2014.pdf Download (265kB) | Preview |
Abstract
We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This solves an open problem of Jerabek [13, p. 1204]. We apply these results to construct finite refutation patterns for each modal formula that is not derivable in the basic modal logic K, and prove that each normal modal logic is axiomatizable by stable canonical rules. This solves an open problem of Chagrov and Zakharyaschev [11, Ch. 9, p. 332, Prob. 9.5], but our solution is by means of multiple-conclusion rules rather than formulas.
Item Type: | Report |
---|---|
Report Nr: | PP-2014-08 |
Series Name: | Prepublication (PP) Series |
Year: | 2014 |
Uncontrolled Keywords: | Modal logic; Modal rule systems; Axiomatization; Filtration; Modal algebra |
Subjects: | Logic |
Depositing User: | Nick Bezhanishvili |
Date Deposited: | 12 Oct 2016 14:37 |
Last Modified: | 12 Oct 2016 14:37 |
URI: | https://eprints.illc.uva.nl/id/eprint/496 |
Actions (login required)
View Item |