Temporal logics with ``the next operator do not have interpolation or the Beth property
From MaRDI portal
Publication:684709
DOI10.1007/BF00970161zbMath0777.03006MaRDI QIDQ684709
Publication date: 27 September 1993
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Related Items
Common knowledge does not have the Beth property, Interpolation in non-classical logics, A note on constructive interpolation for the multi-modal logic \(K_m\), Craig Interpolation for Linear Temporal Languages
Cites Work