scientific article; zbMATH DE number 757647

MaRDI QIDQ4833779zbMATH OpenFDO

Authors Yde Venema

Publication date 23 May 1995

zbMATH Keywords

temporal logicexpressive completenessaxiomatic completenesscompleteness of flow of timesince and until operators

Mathematics Subject Classification ID

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

Recommendations

• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Expressive completeness of temporal logic of trees
• Axiomatising first-order temporal logic: Until and since over linear time
• A complete deductive-system for since-until branching-time logic

Cited in

(14)

• scientific article; zbMATH DE number 708661 (Why is no real title available?)
• scientific article; zbMATH DE number 1536553 (Why is no real title available?)
• Complete axiomatizations for XPath fragments
• Expressive completeness of temporal logic of trees
• Axiomatising first-order temporal logic: Until and since over linear time
• Completeness of minimal positional calculus
• scientific article; zbMATH DE number 1678382 (Why is no real title available?)
• Duality and completeness for US-logics
• A history of until
• Preservation of expressive completeness in temporal models
• Axiomatizing the logical core of XPath 2.0
• Separation in nonlinear time models
• The properties of sets of temporal logic subformulas
• scientific article; zbMATH DE number 1536551 (Why is no real title available?)

This page was built for publication:

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