Undecidable properties of extensions of the logic of provability-Reference-Cited by-同舟云学术

Undecidable properties of extensions of the logic of provability

Published:1990-05 Issue:3 Volume:29 Page:231-243
ISSN:0002-5232
Container-title:Algebra and Logic
language:en
Short-container-title:Algebra and Logic

Author:

Chagrov A. V.

Publisher

Springer Science and Business Media LLC

Subject

Logic,Analysis

Link

http://link.springer.com/content/pdf/10.1007/BF01979939.pdf

Reference14 articles.

1. S. N. Artemov, "Modal logics axiomatizing probability," Izv. Akad. Nauk SSSR, Ser. Mat.,49, No. 6, 1123–1154 (1985).

2. M. L. Minsky, "Recursive unsolvability of Post's problem of ‘Tag’ and topics in theory of Turing machines," Ann. Math.,74, 437–455 (1961).

3. S. Isard, "A finitely axiomatizable undecidable extension of K," Theoria,43, No. 3, 195–202 (1977).

4. A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1986).

5. L. L. Maksimova, "Interpolation in normal modal logics," in: Nonclassical Logics, Mathematical Investigations, No. 98 [in Russian], Kishinev (1987), pp. 40–56.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics;Larisa Maksimova on Implication, Interpolation, and Definability;2018

2. Interpolation properties in the extensions of the logic of inequality;Siberian Mathematical Journal;2010-05

3. Undecidability of the unification and admissibility problems for modal and description logics;ACM Transactions on Computational Logic;2008-08

4. An explicit basis for the admissible inference rules in the Gödel-Löb logic GL;Siberian Mathematical Journal;2007-03

5. 7 Modal decision problems;Handbook of Modal Logic;2007