scientific article; zbMATH DE number 859796
From MaRDI portal
Publication:4870568
zbMATH Open0841.03006MaRDI QIDQ4870568FDOQ4870568
Authors: Judit Madarász
Publication date: 16 July 1996
Title of this publication is not available (Why is that?)
Recommendations
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)
Cited In (14)
- On algebraisation of superintuitionistic predicate logics
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
- An interpolation theorem in many-valued logic
- Amalgamation and interpolation in normal modal logics
- Maksimova, relevance and the study of lattices of non-classical logics
- Craig interpolation theorem for classical propositional logic with some probability operators
- Algebraic characterization of the local Craig interpolation property
- A note on constructive interpolation for the multi-modal logic \(K_m\)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- Modularity results for interpolation, amalgamation and superamalgamation
- The Craig interpolation theorem for propositional logics with strong negation
- Interpolation and amalgamation; pushing the limits. I
- Title not available (Why is that?)
- Back and forth constructions in modal logic: An interpolation theorem for a family of 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 Q4870568)