A note on the normal form of closed formulas of interpretability logic-Reference-Cited by-同舟云学术

A note on the normal form of closed formulas of interpretability logic

Published:1991-03 Issue:1 Volume:50 Page:25-28
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Hájek Petr,Švejdar Vítězslav

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

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

Reference6 articles.

1. S. N. Artemov, Aritmetičeski polnyje teorii (Arithmetically complete modal theories), Semiotika i Informatika 14 (1980), pp. 115–133. (Translation in AMS Transl (2), vol. 135, 1987, pp. 39–54.)

2. S. N. Artemov, Priloženia modal'noj logiki i teorii dokazatel'stv, in Neklassičeskije logiki i ich primenenije, Moskva, 1982, pp. 3–22.

3. G. Boolos, On deciding the truth of certain statements involving the notion of consistency, Journal of Symbolic Logic 41 (1976), pp. 33–35.

4. R. Magari, The diagonalizable algebras, Bull. Unione Mat. Ital. 66-B (1975), pp. 117–125.

5. A. Visser, Interpretability logic, Logic Group Preprint Series no. 40, Department of Philosophy, University of Utrecht, Utrecht, to appear in Proceedings of the Heyting Conference, Chaika, Bulgaria, 1988.

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

1. An Overview of Verbrugge Semantics, a.k.a. Generalised Veltman Semantics;Outstanding Contributions to Logic;2024

2. On the share of closed IL formulas which are also in GL;Archive for Mathematical Logic;2015-06-23

3. Provability and Interpretability Logics with Restricted Realizations;Notre Dame Journal of Formal Logic;2012-01-01

4. The Closed Fragment of IL is PSPACE Hard;Electronic Notes in Theoretical Computer Science;2011-11

5. The Closed Fragment of the Interpretability Logic of PRA with a Constant for $\mathrm{I}\Sigma_1$;Notre Dame Journal of Formal Logic;2005-04-01