|
|||||
|
|
On the Products of Linear Modal Logics |
|
| Authors: | Reynolds, Mark Zakharyaschev, Michael |
| Affiliation: | 1 School of Information Technology, Murdoch University, Perth, Western Australia. E-mail: m.reynolds{at}murdoch.edu.au 2 Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK. E-mail: mz{at}dcs.kcl.ac.uk |
| Abstract: | |
| Keywords: | Modal logic Kripke frame Cartesian product decidability |
| 本文献已被 Oxford 等数据库收录！ | |