|
|||||
|
|
Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK |
|
| Authors: | Calardo Erica |
| Institution: | 1 Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, UK. E-mail: E.Calardo{at}mmu.ac.uk |
| Abstract: | |
| Keywords: | Modal logic Multi-modal logic Epistemic logic Tense logic Inference rules Admissible rules |
| 本文献已被 Oxford 等数据库收录！ | |