A Semantics for In-Principle Provability

DOI10.1093/ACPROF:OSO/9780198759591.003.0005zbMath1433.03142OpenAlexW2554348196MaRDI QIDQ5221592

Theodora Achourioti

Publication date: 2 April 2020

Published in: Gödel's Disjunction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/acprof:oso/9780198759591.003.0005

zbMATH Keywords

intensional logicepistemic mathematicsabsolute provability

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: A Semantics for In-Principle Provability