|
|||||
|
|
Products, or how to create modal logics of high complexity |
|
| Authors: | Marx, M Mikulas, S |
| Affiliation: | A1 Applied Logic Lab, ILLC, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018TV, Amsterdam, The Netherlands E-mail: marx:@wins.uva.nl A2 Department of Computer Science, Birkbeck College, Malet Street, London WC1H 7HX, UK E-mail: szabolcs@dcs.bbk.ac.uk |
| Abstract: | |
| Keywords: | modal logic computational complexity |
| 本文献已被 Oxford 等数据库收录！ | |