scientific article; zbMATH DE number 1062287

zbMATH Open0878.03022MaRDI QIDQ4354884FDOQ4354884

Authors: Anna Wójtowicz 

Publication date: 15 December 1997

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

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

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)

Cited In (8)

• On the Beth properties of some intuitionistic modal logics
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)