Description

• Title:
  On interpolation in next (kb.alt(2))
• Creator:
  Kostrzycka, Zofia
• Contributor:
  University of Technology;
  z.kostrzycka@po.opole.pl
• Description:
  We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
• Object availability:
  free access
• Rights:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2019.04.26;
  2018
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic; 3;
  47
• Subject:
  symmetric Kripke frames;
  interpolation;
  amalgamation
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/28050 ;
  2449-836X;
  10.18778/0138-0680.47.3.02
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  image