An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.

Fedorishin, B.R.

Fedorishin, B.R.

Sibirskij Matematicheskij Zhurnal, Tome 48 (2007) no. 2, p. 423.

Voir la notice de l'article dans European Digital Mathematics Library

Zbl

Classification : 03B45
Mots-clés : modal logic, inference rule, admissible rule, frame, basis

@article{SMZ_2007__48_2_55565,
     author = {Fedorishin, B.R.},
     title = {An explicit basis for the admissible inference rules in the {G\"odel-L\"ob} logic {GL.}},
     journal = {Sibirskij Matematicheskij Zhurnal},
     pages = {423},
     publisher = {mathdoc},
     volume = {48},
     number = {2},
     year = {2007},
     zbl = {1164.03302},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55565/}
}

TY  - JOUR
AU  - Fedorishin, B.R.
TI  - An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.
JO  - Sibirskij Matematicheskij Zhurnal
PY  - 2007
SP  - 423
VL  - 48
IS  - 2
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55565/
LA  - en
ID  - SMZ_2007__48_2_55565
ER  -

%0 Journal Article
%A Fedorishin, B.R.
%T An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.
%J Sibirskij Matematicheskij Zhurnal
%D 2007
%P 423
%V 48
%N 2
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55565/
%G en
%F SMZ_2007__48_2_55565

Fedorishin, B.R. An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.. Sibirskij Matematicheskij Zhurnal, Tome 48 (2007) no. 2, p. 423. https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55565/