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]

[img] Text (Full Text (PS))

Download (180kB)
Text (Full Text (PDF))

Download (154kB) | Preview
[img] 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