Temporal logics with ``the next operator do not have interpolation or the Beth property

DOI10.1007/BF00970161zbMath0777.03006MaRDI QIDQ684709

Larisa L. Maksimova

Publication date: 27 September 1993

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

interpolationtemporal logicsBeth definabilitypasttemporal framesuntil

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (4)

A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ Common knowledge does not have the Beth property ⋮ Interpolation in non-classical logics ⋮ Craig Interpolation for Linear Temporal Languages

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal logics with ``the next operator do not have interpolation or the Beth property