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]

Text (Full Text (PS))
PP-2003-25.text.ps.gz

 Preview
Text (Full Text (PDF))
PP-2003-25.text.pdf

Text (Abstract)
PP-2003-25.abstract.txt

Abstract

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 PP-2003-25 Prepublication (PP) Series 2003 S5-squared, normal extensions, finite axiomatization, better-quasi-orederings 12 Oct 2016 14:36 12 Oct 2016 14:36 https://eprints.illc.uva.nl/id/eprint/109