scientific article

From MaRDI portal

Publication:3827991

Jump to:navigation, search

zbMATH Open0674.03005MaRDI QIDQ3827991

Lev D. Beklemishev

Publication date: 1989

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

zbMATH Keywords

Peano arithmetic provability logic modal logics Craig's interpolation property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items (3)

Noninterference for Intuitionist Necessity ⋮ Title not available (Why is that?) ⋮ Intuitionistic propositional logic with only equivalence has no interpolation

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3827991&oldid=17418168"