scientific article; zbMATH DE number 3924750

zbMATH Open0578.03007MaRDI QIDQ3699666FDOQ3699666

Authors: Franco Montagna 

Publication date: 1985

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

Recommendations

• The predicate modal logic of provability
• On strong provability predicates and the associated modal logics
• ON MODAL LOGICS AXIOMATIZING PROVABILITY
• scientific article; zbMATH DE number 3963790
• The modal logic of pure provability
• Provability and modal logic
• A modal provability logic of explicit and implicit proofs
• Implementing and evaluating provers for first-order modal logics
• A proof theoretic tool for first-order modal logic
• Modal Foundations for Predicate Logic

zbMATH Keywords

quantified provability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Cited In (2)

• Provability in finite subtheories of PA and relative interpretability: a modal investigation
• Title not available (Why is that?)

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 Q3699666)