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

DOI10.1093/LOGCOM/EXI037zbMATH Open1080.03040OpenAlexW2092253502MaRDI QIDQ5696307FDOQ5696307

Authors: 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

Recommendations

• scientific article; zbMATH DE number 517064
• scientific article; zbMATH DE number 2174393
• Provability logics with quantifiers on proofs
• Logic of proofs and provability
• scientific article; zbMATH DE number 4079379

zbMATH Keywords

decidabilityKripke semanticsprovability logicLogic of Proofs

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Provability logics with quantifiers on proofs

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

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