A complete deductive-system for since-until branching-time logic

• 1 May 1991
• journal article
• Published by Springer Nature in Journal of Philosophical Logic
• Vol. 20  (2)
• https://doi.org/10.1007/bf00284972

Abstract

Keywords

• BRANCHING TIME
• COMPLETE DEDUCTIVE
• TIME LOGIC
• DEDUCTIVE SYSTEM