scientific article; zbMATH DE number 4210104

MaRDI QIDQ3358708zbMATH OpenFDO

Authors Branislav Boričić

Publication date 1991

zbMATH Keywords

interpolationintuitionistic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• A polynomial translation of S4 into intuitionistic logic
• On different intuitionistic calculi and embeddings from Int to S4
• Interpolation theorems for intuitionistic predicate logic
• A correct polynomial translation of S4 into intuitionistic logic
• Weak interpolation in extensions of the logics S4 and K4
• On the geometry of intuitionistic S4 proofs
• Restricted interpolation over modal logic S4
• Interpolation properties for Sacchetti's logics
• Interpolation property for extensions of intuitionistic provability logic
• The Craig interpolation theorem in abstract model theory

Cited in

(3)

• On the interpolation property of some intuitionistic modal logics
• Linear reasoning in modal logic
• On different intuitionistic calculi and embeddings from Int to S4

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