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

DOI10.1007/BF00370384MaRDI QIDQ804561zbMATH OpenFDO

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

Publication date 1991

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

provability logicinterpretability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\)
• A note on normal forms for the closed fragment of system IL
• scientific article; zbMATH DE number 1281983
• scientific article; zbMATH DE number 1735871
• scientific article; zbMATH DE number 1215477

Cites work

• scientific article; zbMATH DE number 3724412 (Why is no real title available?)
• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• Infinitary compactness without strong inaccessibility

Cited in

(8)

• A note on normal forms for the closed fragment of system IL
• The closed fragment of IL is PSPACE hard
• Provability and interpretability logics with restricted realizations
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\)
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• scientific article; zbMATH DE number 5371703 (Why is no real title available?)
• Some independence results in interpretability logic

This page was built for publication: A note on the normal form of closed formulas of interpretability logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q804561)