scientific article; zbMATH DE number 3968566

MaRDI QIDQ3735692zbMATH OpenFDO

Authors Michał Grabowski

Publication date 1985

zbMATH Keywords

arithmetical completenessarithmetical interpretationsdynamic logicrelative completeness

Mathematics Subject Classification ID

Logic in computer science (03B70) Relative consistency and interpretations (03F25)

Recommendations

• Arithmetical completeness versus relative completeness
• On the Completeness of Dynamic Logic
• scientific article; zbMATH DE number 3898856
• On strictly arithmetical completeness in logics of programs
• Arithmetical interpretations of dynamic logic

Cited in

(4)

• Arithmetical completeness versus relative completeness
• Arithmetical interpretations of dynamic logic
• On the Completeness of Dynamic Logic
• scientific article; zbMATH DE number 1794691 (Why is no real title available?)

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 Q3735692)