Temporal logics of “the next” do not have the beth property

DOI10.1080/11663081.1991.10510772zbMath0914.03024OpenAlexW2046648755MaRDI QIDQ4240680

Larisa L. Maksimova

Publication date: 29 April 1999

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1991.10510772

zbMATH Keywords

Beth propertyCraig interpolation propertytemporal logics based on integers or natural numbers

Mathematics Subject Classification ID

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

Related Items

Knowledge forgetting in propositional \(\mu\)-calculus ⋮ Computing sufficient and necessary conditions in CTL: a forgetting approach ⋮ Proof-theoretical investigation of temporal logic with time gaps ⋮ Common knowledge does not have the Beth property ⋮ Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski

Cites Work

• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Temporal logic can be more expressive
• Sequential Calculus for a First Order Infinitary Temporal Logic

This page was built for publication: Temporal logics of “the next” do not have the beth property