PP200014: Marx, Maarten and Bezhanishvili, Nick (2000) All proper normal extensions of S5square have the polynomial size model property. [Report]
Text (Full Text)
PP200014.text.ps.gz Download (96kB) 

Text (Abstract)
PP200014.abstract.txt Download (770B) 
Abstract
All proper normal extensions of S5square have the polynomial size
model property
Maarten Marx, Nick Bezhanishvili
It is shown that all proper normal extensions of the bimodal system
$S5^2$ have the polysize model property. In fact, every normal proper
extension $L$ of $S5^2$ is complete with respect to a class of finite
frames $F_L$. To each such class corresponds a natural number $b(L)$
 the bound of $L$. For every $L$, there exists a polynomial $P(.)$
of degree $b(L)+1$ such that every $L$satisfiable formula $\phi$ is
satisfiable on an $L$frame whose universe is bounded by $P(\phi)$,
for $\phi$ the number of subformulas of $\phi$. It is shown that
this bound is optimal.
Keyword(s): cylindric algebras, products of modal logic
Item Type:  Report 

Report Nr:  PP200014 
Series Name:  Prepublication (PP) Series 
Year:  2000 
Date Deposited:  12 Oct 2016 14:36 
Last Modified:  12 Oct 2016 14:36 
URI:  https://eprints.illc.uva.nl/id/eprint/41 
Actions (login required)
View Item 