Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\)

DOI10.1305/NDJFL/1039293062zbMath0968.03026OpenAlexW2245892899MaRDI QIDQ5937814

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

interpolationpreservationinfinitary extension of propositional modal logicinfinitary logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modality, bisimulation and interpolation in infinitary logic
• Generalized quantifiers and modal logic
• Logic of transition systems
• Modal reduction principles
• Interpolation, preservation, and pebble games
• On the model theory of denumerably long formulas with finite strings of quantifiers

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