scientific article; zbMATH DE number 1062287

MaRDI QIDQ4354884zbMATH OpenFDO

Authors Anna Wójtowicz

Publication date 15 December 1997

zbMATH Keywords

interpolationfirst-order logicsBeth propertysentential logicsRobinson propertyHalldén-completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Abstract deductive systems (03B22) Interpolation, preservation, definability (03C40)

Recommendations

• Some failures of interpolation in modal logic
• scientific article; zbMATH DE number 4047686
• On the interpolation property of some intuitionistic modal logics
• Decidability of the interpolation problem and of related properties in tabular logics

Cited in

(8)

• On the Beth properties of some intuitionistic modal logics
• scientific article; zbMATH DE number 759439 (Why is no real title available?)
• Some failures of interpolation in modal logic
• Repairing the interpolation theorem in quantified modal logic
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• The logic of exact covers: completeness and uniform interpolation
• scientific article; zbMATH DE number 4047686 (Why is no real title available?)
• scientific article; zbMATH DE number 3863171 (Why is no real title available?)

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