Explicit Proofs in Formal Provability Logic

DOI10.1007/978-3-540-72734-7_17MaRDI QIDQ5434510zbMATH OpenOpenAlexFDO

Authors Evan Goris

Publication date 4 January 2008

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72734-7_17

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• A modal provability logic of explicit and implicit proofs
• Logic of proofs and provability
• Explicit provability and constructive semantics
• Logic of proofs
• Nested sequents for provability logic GLP: FIG. 1.

Cited in

(16)

• Towards a formal proof system for \(\omega\)-rational expressions
• A proof-theoretic semantics for exclusion
• Circular proofs for the Gödel-Löb provability logic
• Declarative representation of proof terms
• Explicit provability and constructive semantics
• The Logic of Justification
• Mining the Archive of Formal Proofs
• Proof internalization in generalized Frege systems for classical logic
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
• scientific article; zbMATH DE number 683357 (Why is no real title available?)
• A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic
• Mathematical Knowledge Management
• A modal provability logic of explicit and implicit proofs
• Propositional proof skeletons
• Existence of simple propositional formulas
• A new proof of the fixed-point theorem of provability logic

This page was built for publication: Explicit Proofs in Formal Provability Logic

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