Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\)
From MaRDI portal
Publication:5937814
DOI10.1305/ndjfl/1039293062zbMath0968.03026MaRDI QIDQ5937814
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
03B45: Modal logic (including the logic of norms)
03C40: Interpolation, preservation, definability
03C75: Other infinitary logic
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