PP-2003-25: All normal extensions of S5-squared are finitely axiomatizable

PP-2003-25: Bezhanishvili, Nick and Hodkinson, Ian (2003) All normal extensions of S5-squared are finitely axiomatizable. [Report]

[thumbnail of Full Text (PS)] Text (Full Text (PS))

Download (180kB)
[thumbnail of Full Text (PDF)]
Text (Full Text (PDF))

Download (154kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (377B)


We prove that every normal extension of the bi-modal system
${\bf S5}^2$ is finitely axiomatizable and that every proper normal
extension has NP-complete satisfiability problem.

Item Type: Report
Report Nr: PP-2003-25
Series Name: Prepublication (PP) Series
Year: 2003
Uncontrolled Keywords: S5-squared, normal extensions, finite axiomatization, better-quasi-orederings
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/109

Actions (login required)

View Item View Item