PP-2014-08: Stable canonical rules

PP-2014-08: Bezhanishvili, Guram and Bezhanishvili, Nick and Iemhoff, Rosalie (2014) Stable canonical rules. [Report]

[img]
Preview
Text (Full Text)
PP-2014-08.text.pdf

Download (390kB) | Preview
[img] Text (Abstract)
PP-2014-08.abstract.txt

Download (748B)
[img]
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 View Item