|
|||||
|
|
On Kripke completeness of modal predicate logics around quantified K5 |
|
| Institution: | 1. Kharkevich Institute for Information Transmission Problems, B. Karetny 19, Moscow 127051, Russia;2. National Research University Higher School of Economics, Russia |
| Abstract: | |
| Keywords: | Modal predicate logic Kripke completeness Kripke sheaf Kripke bundle Canonical model |
| 本文献已被 ScienceDirect 等数据库收录！ | |