S5 x S5 x S5 Lacks the Finite Model Property - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ágnes Kurucz. S5 x S5 x S5 Lacks the Finite Model Property. In Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev, editors, Advances in Modal Logic 3, papers from the third conference on Advances in Modal logic, held in Leipzig (Germany) in October 2000. pages 321-327, World Scientific, 2000.

This author has not been identified. Look up 'Ágnes Kurucz' in Google

runs on WebDSL