|
|||||
|
|
A Systematic Presentation of Quantified Modal Logics |
|
| Authors: | Castellini Claudio; Smaill Alan |
| Institution: | 1 School of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh EH1 1HN, UK. E-mail: claudio{at}dai.ed.ac.uk 2 School of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh EH1 1HN, UK. E-mail: smaill{at}dai.ed.ac.uk |
| Abstract: | |
| Keywords: | quantified modal logics sequent calculi labelled deductive systems Kripke soundness Kripke completeness automated reasoning |
| 本文献已被 Oxford 等数据库收录！ | |