scientific article; zbMATH DE number 1148290

MaRDI QIDQ4386747zbMATH OpenFDO

Authors Andrei Rusu

Publication date 19 April 1999

zbMATH Keywords

provability logiclocally tabularfinitely approximable with respect to completenessformula basis

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• On absence of finite approximation relative to model completeness in the propositional provability logic
• On the absence of finite approximation relative to model completeness in propositional provability logic
• On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic
• scientific article; zbMATH DE number 6476595
• Completeness criteria for expressibility in a 4-valued extension of provability logic

Cited in

(6)

• On absence of finite approximation relative to model completeness in the propositional provability logic
• On the absence of finite approximation relative to model completeness in propositional provability logic
• On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic
• scientific article; zbMATH DE number 6476595 (Why is no real title available?)
• scientific article; zbMATH DE number 857449 (Why is no real title available?)
• Completeness criteria for expressibility in a 4-valued extension of provability logic

This page was built for publication:

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