Description of modal logics inheriting admissible rules for S4 |
| |
| Authors: | Rybakov, VV Gencer, C Oner, T |
| |
| Affiliation: | Mathematics Department, Krasnoyarsk University pr. Svobodnyi 79, 660 062, Krasnoyarsk, Russia E-mail: rybakov@math.kgu.krasnoyarsk.su A1 Mathematics Department, Science Faculty, Ege University, Bornova-Ismir, 35100, Turkey A2 E-mail: gencer@fenfak.ege.edu.tr A3 E-mail: oner@fenfak.ege.edu.tr |
| |
| Abstract: | |
| |
| Keywords: | Modal logic Kripke Model Inference Rule Admissible Rule |
| 本文献已被 Oxford 等数据库收录！ |
|
