On PSPACE-decidability in Transitive Modal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ilya Shapirovsky. On PSPACE-decidability in Transitive Modal Logic. In Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing, editors, Advances in Modal Logic 5, papers from the fifth conference on Advances in Modal logic, held in Manchester (UK) in September 2004. pages 269-287, King s College Publications, 2004. [doi]

This author has not been identified. Look up 'Ilya Shapirovsky' in Google

runs on WebDSL