scientific article; zbMATH DE number 757647

MaRDI QIDQ4833779zbMATH OpenFDO

Authors Yde Venema

Publication date 23 May 1995

zbMATH Keywords

axiomatic completenesscompleteness of flow of timeexpressive completenesssince and until operatorstemporal logic

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

(17)

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

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)