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

DOI10.1007/BF00370384zbMATH Open0728.03015MaRDI QIDQ804561FDOQ804561

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

Publication date: 1991

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

provability logicinterpretability logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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\)
• Title not available (Why is that?)
• 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)