Description

• Title:
  The Modelwise Interpolation Property of Semantic Logics
• Creator:
  Gyenis, Zalán;
  Molnár, Zalán;
  Öztürk, Övge
• Contributor:
  Gyenis, Zalán - Jagiellonian University, Institute of Philosophy, ul. Grodzka 52, 31-044 Krak´ow, Poland;
  Molnár, Zalán - Eötvös Loránd University, Department of Logic, Múzeum krt. 4., 1088 Budapest, Hungary;
  Öztürk, Övge - Eötvös Loránd University, Department of Logic, Múzeum krt. 4., 1088 Budapest, Hungary;
  Gyenis, Zalán - zalan.gyenis@gmail.com;
  Molnár, Zalán - mozaag@gmail.com;
  Öztürk, Övge - ovgeovge@gmail.com
• Description:
  In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi\) formulated in the intersection of the vocabularies of \(\phi\) and \(\psi\), such that \(\mathfrak{M}\models\phi\to\chi\) and \(\mathfrak{M}\models\chi\to\psi\), that is, the interpolant formula in Craig interpolation may vary from model to model. We compare the modelwise interpolation property with the standard Craig interpolation and with the local interpolation property by discussing examples, most notably the finite variable fragments of first order logic, and difference logic. As an application we connect the modelwise interpolation property with the local Beth definability, and we prove that the modelwise interpolation property of an algebraizable logic can be characterized by a weak form of the superamalgamation property of the class of algebras corresponding to the models of the logic.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2023.06.07;
  2023.04.21
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;1;
  52
• Subject:
  interpolation;
  algebraic logic;
  amalgamation;
  superamalgamation
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/47237 ;
  2449-836X;
  10.18778/0138-0680.2023.09
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other