The following pages link to (Q5311046):
Displayed 9 items.
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later (Q395587) (← links)
- The truth about the future (Q488366) (← links)
- Fooling around with tenses (Q643107) (← links)
- Combinatorial basis and non-asymptotic form of the Tsallis entropy function (Q978707) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)