Чагров, А.В.. "Неразрешимые свойства расширения логики доказуемости." Algebra i Logika 29.3 (1990): 350-367. <http://eudml.org/doc/187524>.
@article{Чагров1990, author = {Чагров, А.В.}, journal = {Algebra i Logika}, keywords = {extensions of provability logic; decidability; Minski machines; finite model property; interpolation property; disjunction property; modal logics}, language = {rus}, number = {3}, pages = {350-367}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {Неразрешимые свойства расширения логики доказуемости}, url = {http://eudml.org/doc/187524}, volume = {29}, year = {1990}, }
TY - JOUR AU - Чагров, А.В. TI - Неразрешимые свойства расширения логики доказуемости JO - Algebra i Logika PY - 1990 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 29 IS - 3 SP - 350 EP - 367 LA - rus KW - extensions of provability logic; decidability; Minski machines; finite model property; interpolation property; disjunction property; modal logics UR - http://eudml.org/doc/187524 ER -
