Geodesic
Decidability of the Admissibility Problem for Inference Rules in Some $S5_t$-Logics
Algebra i logika, Tome 44 (2005) no. 4, pp. 438-458

Voir la notice de l'article provenant de la source Math-Net.Ru

We examine some many-modal logics extending $S5_t$, $t\in N$, for decidability w.r.t. admissibility of inference rules, and for the logics in question, we prove an algorithmic criterion determining whether the inference rules in them are admissible.
Keywords: inference rule, admissibility problem, decidability, many-modal logic. 
@article{AL_2005_44_4_a2,
     author = {A. V. Kosheleva},
     title = {Decidability of the {Admissibility} {Problem} for {Inference} {Rules} in {Some} $S5_t${-Logics}},
     journal = {Algebra i logika},
     pages = {438--458},
     publisher = {mathdoc},
     volume = {44},
     number = {4},
     year = {2005},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2005_44_4_a2/}
}
TY  - JOUR
AU  - A. V. Kosheleva
TI  - Decidability of the Admissibility Problem for Inference Rules in Some $S5_t$-Logics
JO  - Algebra i logika
PY  - 2005
SP  - 438
EP  - 458
VL  - 44
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2005_44_4_a2/
LA  - ru
ID  - AL_2005_44_4_a2
ER  - 
%0 Journal Article
%A A. V. Kosheleva
%T Decidability of the Admissibility Problem for Inference Rules in Some $S5_t$-Logics
%J Algebra i logika
%D 2005
%P 438-458
%V 44
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2005_44_4_a2/
%G ru
%F AL_2005_44_4_a2
A. V. Kosheleva. Decidability of the Admissibility Problem for Inference Rules in Some $S5_t$-Logics. Algebra i logika, Tome 44 (2005) no. 4, pp. 438-458. http://geodesic.mathdoc.fr/item/AL_2005_44_4_a2/