A criterion for admissibility of inference rules in some class of S4-logics without the branching property.

@article{Golovanova2003,
author = {Golovanova, E. M.},
journal = {Sibirskij Matematicheskij Zhurnal},
keywords = {decidability; modal logic; admissible inference rule},
language = {eng},
number = {4},
pages = {726-736 (2003); translation in Sib. Math. J. 44},
publisher = {Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki},
title = {A criterion for admissibility of inference rules in some class of S4-logics without the branching property.},
url = {http://eudml.org/doc/50665},
volume = {44},
year = {2003},
}

TY - JOUR
AU - Golovanova, E. M.
TI - A criterion for admissibility of inference rules in some class of S4-logics without the branching property.
JO - Sibirskij Matematicheskij Zhurnal
PY - 2003
PB - Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki
VL - 44
IS - 4
SP - 726
EP - 736 (2003); translation in Sib. Math. J. 44
LA - eng
KW - decidability; modal logic; admissible inference rule
UR - http://eudml.org/doc/50665
ER -