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

DOI10.1080/11663081.1991.10510772MaRDI QIDQ4240680zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cites work

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

Cited in

(7)

• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Proof-theoretical investigation of temporal logic with time gaps
• Common knowledge does not have the Beth property
• Knowledge forgetting in propositional \(\mu\)-calculus
• Computing sufficient and necessary conditions in CTL: a forgetting approach
• On the size of disjunctive formulas in the \(\mu\)-calculus
• scientific article; zbMATH DE number 56025 (Why is no real title available?)

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)