𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modality, bisimulation and interpolation in infinitary logic

✍ Scribed by Johan van Benthem

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
942 KB
Volume
96
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Repairing the interpolation theorem in q
Repairing the interpolation theorem in quantified modal logic
✍ Carlos Areces; Patrick Blackburn; Maarten Marx 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 244 KB

Quantiÿed hybrid logic is quantiÿed modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's deÿnability theorem fail in a number of well-known quantiÿed modal logics (for example in quantiÿed modal K, T, D, S4, S4.3

Strong amalgamation, Beck–Chevalley for
Strong amalgamation, Beck–Chevalley for equivalence relations and interpolation in algebraic logic
✍ Adriana Galli; Gonzalo E. Reyes; Marta Sagastume 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 307 KB

We extend Makkai's proof of strong amalgamation (push-outs of monos along arbitrary maps are monos) from the category of Heyting algebras to a class which includes the categories of symmetric bounded distributive lattices, symmetric Heyting algebras, Heyting modal S4-algebras, Heyting modal bi-S4-al