scientific article; zbMATH DE number 757647

zbMATH Open0821.03011MaRDI QIDQ4833779FDOQ4833779

Authors: Yde Venema 

Publication date: 23 May 1995

Title of this publication is not available (Why is that?)

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

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)

Cited In (14)

• A history of until
• The properties of sets of temporal logic subformulas
• Expressive completeness of temporal logic of trees
• Separation in nonlinear time models
• Completeness of minimal positional calculus
• Axiomatising first-order temporal logic: Until and since over linear time
• Axiomatizing the logical core of XPath 2.0
• Complete axiomatizations for XPath fragments
• Title not available (Why is that?)
• Duality and completeness for US-logics
• Preservation of expressive completeness in temporal models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)