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))
PP-2003-25.text.ps.gz
Download (180kB)
[thumbnail of Full Text (PDF)]
Preview
 Text (Full Text (PDF))
PP-2003-25.text.pdf
Download (154kB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2003-25.abstract.txt
Download (377B)

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
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
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility