scientific article; zbMATH DE number 3968566

zbMATH Open0601.03009MaRDI QIDQ3735692FDOQ3735692

Authors: Michał Grabowski 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

dynamic logicrelative completenessarithmetical completenessarithmetical interpretations

Mathematics Subject Classification ID

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

Cited In (4)

• Arithmetical completeness versus relative completeness
• On the Completeness of Dynamic Logic
• Title not available (Why is that?)
• Arithmetical interpretations of dynamic 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 Q3735692)