A complete deductive-system for since-until branching-time logic
From MaRDI portal
Publication:2276945
DOI10.1007/BF00284972zbMath0724.03015MaRDI QIDQ2276945
Publication date: 1991
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Related Items (7)
Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization ⋮ Branching versus linear logics yet again ⋮ Agency and fictional truth: a formal study on fiction-making ⋮ A Branching Time Logical System for Open Distributed Systems Development ⋮ An axiomatization for until and since over the reals without the IRR rule ⋮ Axiomatising first-order temporal logic: Until and since over linear time ⋮ Combinations of tense and modality for predicate logic
This page was built for publication: A complete deductive-system for since-until branching-time logic
