Interpolation and preservation in ML__1

DOI10.1305/NDJFL/1039293062MaRDI QIDQ5937814zbMATH OpenOpenAlexFDO

Authors Holger Sturm

Publication date 17 July 2001

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1039293062

zbMATH Keywords

infinitary extension of propositional modal logicinfinitary logicinterpolationpreservation

Mathematics Subject Classification ID

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

Recommendations

• Interpolation and inner maps that preserve measure
• scientific article; zbMATH DE number 3914904
• Interpolation of L_p(M) spaces
• On interpolation in \(L_{p}\) spaces
• scientific article; zbMATH DE number 3968569
• On \(j\)-convex preserving interpolation operators
• On the preservation of global smoothness by some interpolation operators
• scientific article; zbMATH DE number 2233266
• scientific article; zbMATH DE number 3971159
• Interpolation in the unit ball of \(\mathbb{C}^n\)

Cites work

• Generalized quantifiers and modal logic
• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• Interpolation, preservation, and pebble games
• Logic of transition systems
• Modal reduction principles
• Modality, bisimulation and interpolation in infinitary logic
• On the model theory of denumerably long formulas with finite strings of quantifiers

Cited in

(5)

• Infinitary propositional normal modal logic
• Interpolation and preservation for pebble logics
• Characterizing Interpolation Pairs in Infinitary Graded Logics
• scientific article; zbMATH DE number 3893171 (Why is no real title available?)
• Infinitary formulas preserved under unions of models

This page was built for publication: Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5937814)