Pages that link to "Item:Q2276945"
From MaRDI portal
The following pages link to A complete deductive-system for since-until branching-time logic (Q2276945):
Displaying 7 items.
- Agency and fictional truth: a formal study on fiction-making (Q514095) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- An axiomatization for until and since over the reals without the IRR rule (Q1207338) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
- A Branching Time Logical System for Open Distributed Systems Development (Q4916209) (← links)
