Modularity results for interpolation, amalgamation and superamalgamation

&
Annals of Pure and Applied Logic 169 (8):731-754 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.04.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation.Franco Montagna - 2006 - Annals of Pure and Applied Logic 141 (1):148-179.
Tameness, uniqueness triples and amalgamation.Adi Jarden - 2016 - Annals of Pure and Applied Logic 167 (2):155-188.
Modality, bisimulation and interpolation in infinitary logic.Johan van Benthem - 1999 - Annals of Pure and Applied Logic 96 (1-3):29-41.
Uniform interpolation and coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.
Craig interpolation for networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.
Uniform interpolation and compact congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Modal interpolation via nested sequents.Melvin Fitting & Roman Kuznets - 2015 - Annals of Pure and Applied Logic 166 (3):274-305.
Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.
The Modelwise Interpolation Property of Semantic Logics.Zalán Gyenis, Zalán Molnár & Övge Öztürk - 2023 - Bulletin of the Section of Logic 52 (1):59-83.

Analytics

Added to PP
2018-04-06

Downloads
30 (#787,710)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Uniform interpolation and compact congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.
Modal logics withn-ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):193-215.
Modal logics with n‐ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Mathematical Logic Quarterly 36 (3):193-215.

Add more references