scientific article

From MaRDI portal

Publication:3784046

Jump to:navigation, search

zbMath0643.03013MaRDI QIDQ3784046

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

propositional modal logics Craig interpolation Barcan formula Robinson consistency Beth theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

This page was built for publication:

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