|
|||||
|
|
A Criterion for Admissibility of Inference Rules in Some Class of S4-Logics Without the Branching Property |
|
| Authors: | Golovanova E M |
| Institution: | (1) Krasnoyarsk State University, USSR |
| Abstract: | We consider a finitely approximable modal S4-logic without the branching property. Although Rybakov's criterion is inapplicable, using his method we manage to obtain an algorithmic criterion for admissibility of inference rules in a given logic. |
| Keywords: | superintuitionistic logic modal logic admissible inference rule decidability with respect to admissibility |
| 本文献已被 SpringerLink 等数据库收录！ | |