On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs

DOI10.1093/LOGCOM/EXI037zbMath1080.03040OpenAlexW2092253502MaRDI QIDQ5696307

Rostislav E. Yavorsky

Publication date: 18 October 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi037

zbMATH Keywords

decidabilityKripke semanticsprovability logicLogic of Proofs

Mathematics Subject Classification ID

Singular perturbations in context of PDEs (35B25) Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs