scientific article

zbMATH Open0578.03007MaRDI QIDQ3699666

Franco Montagna

Publication date: 1985

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

zbMATH Keywords

quantified provability logic

Mathematics Subject Classification ID

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

Related Items (2)

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A modal provability logic of explicit and implicit proofs 👍 👎
• The modal logic of pure provability 👍 👎
• The predicate modal logic of provability 👍 👎
• Modal Foundations for Predicate Logic 👍 👎
• ON MODAL LOGICS AXIOMATIZING PROVABILITY 👍 👎
• On strong provability predicates and the associated modal logics 👍 👎

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)