scientific article

zbMATH Open0605.03008MaRDI QIDQ3743303

Ramon Jansana

Publication date: 1985

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

Mathematics Subject Classification ID

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

Related Items (3)

Provability algebras and proof-theoretic ordinals. I ⋮ Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators ⋮ Title not available (Why is that?)

Recommendations

• A modal provability logic of explicit and implicit proofs 👍 👎
• Modal logic and algebraic specifications 👍 👎
• The modal logic of pure provability 👍 👎
• Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators 👍 👎
• ON MODAL LOGICS AXIOMATIZING PROVABILITY 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q3743303)