A complete deductive-system for since-until branching-time logic
From MaRDI portal
Publication:2276945
The author's branching-time structures here are the so-called Kamp frames [cf. \textit{R. H. Thomason}, Handbook of philosophical logic, Vol. II, 135- 165 (1984; Zbl 0572.03003)], in which each moment of time has one past but several possible futures. Using a propositional language with one unary modal operator (``possibility) and two binary temporal operators (``since and ``until) a finite and complete axiomatization of the set of valid formulas for that class of frames is given.
Recommendations
Cited in
(15)- A note about the axioms for branching-time logic
- An axiomatization for until and since over the reals without the IRR rule
- A Gabbay-rule free axiomatization of T W validity
- Combinations of tense and modality for predicate logic
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
- Axiomatization of `Peircean' branching-time logic
- Axiomatising first-order temporal logic: Until and since over linear time
- Prediction in branching time logic
- A history of until
- A natural deduction system for bundled branching time logic
- scientific article; zbMATH DE number 757647 (Why is no real title available?)
- A Branching Time Logical System for Open Distributed Systems Development
- Agency and fictional truth: a formal study on fiction-making
- Completeness of a branching-time logic with possible choices
- Branching versus linear logics yet again
This page was built for publication: A complete deductive-system for since-until branching-time logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2276945)
