A note on normal forms for the closed fragment of system IL

作者：Cacic Vedran; Vukovic Mladen^*

来源：Mathematical Communications, 2012, 17(1): 195-204.

• modal logic
• interpretability logic
• normal form

In [8], P. Hajek and V. Svejdar determined normal forms for the system ILF, and showed that we can eliminate the modal operator (sic) from IL-formulas. The normal form for the closed fragment of the interpretability logic IL is an open problem (see [13]). We prove that in some cases we can eliminate the modal operator (sic). We give an example where it is impossible to eliminate (sic).

• 出版日期2012-6