Uniform Lyndon interpolation property in propositional modal logics
Kurahashi, TaishiLanguage:
english
Journal:
Archive for Mathematical Logic
DOI:
10.1007/s00153-020-00713-y
Date:
January, 2020
File:
PDF, 378 KB
english, 2020