Uniform Lyndon interpolation property in propositional modal logics

DOI10.1007/s00153-020-00713-yzbMath1462.03013arXiv1809.00943WikidataQ126313519 ScholiaQ126313519MaRDI QIDQ781510

Taishi Kurahashi

Publication date: 17 July 2020

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.00943

zbMATH Keywords

propositional modal logic; layered bisimulation; uniform Lyndon interpolation

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03F45: Provability logics and related algebras (e.g., diagonalizable algebras)