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

DOI10.1080/11663081.1991.10510772zbMATH Open0914.03024OpenAlexW2046648755MaRDI QIDQ4240680FDOQ4240680

Authors: L. 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

Recommendations

• scientific article
• scientific article; zbMATH DE number 847940
• A note on the interpolation property in tense logic

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)

Cites Work

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

Cited In (6)

• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Common knowledge does not have the Beth property
• 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
• On the size of disjunctive formulas in the \(\mu\)-calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4240680)