scientific article

From MaRDI portal

Publication:2882965

Jump to:navigation, search

zbMATH Open1249.03037MaRDI QIDQ2882965

Pavel A. Shrajner

Publication date: 11 May 2012

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

zbMATH Keywords

Craig interpolation property propositional variable deducibility interpolation property

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Intermediate logics (03B55)

Related Items (1)

Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

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

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