scientific article; zbMATH DE number 1281983

zbMATH Open0926.03022MaRDI QIDQ4241052FDOQ4241052

Authors: Mladen Vuković 

Publication date: 29 November 1999

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 218496
• scientific article; zbMATH DE number 1215477
• A note on the normal form of closed formulas of interpretability logic
• A new principle in the interpretability logic of all reasonable arithmetical theories

zbMATH Keywords

interpretability logicKripke-style models

Mathematics Subject Classification ID

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

Cited In (2)

• Remarks on Stable Formulas in Intuitionistic Logic
• Complexity of the interpretability logic IL

This page was built for publication:

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