Explicit Proofs in Formal Provability Logic

DOI10.1007/978-3-540-72734-7_17zbMath1133.03039OpenAlexW1560518114MaRDI QIDQ5434510

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)

Related Items

A modal provability logic of explicit and implicit proofs ⋮ The Logic of Justification