Publication:5311046
From MaRDI portal
zbMath1082.03015MaRDI QIDQ5311046
Publication date: 22 August 2005
03B44: Temporal logic
Related Items
Temporal logic and its application to normative reasoning, Axiomatization of a branching time logic with indistinguishability relations, A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later, The truth about the future, Fooling around with tenses, Combinatorial basis and non-asymptotic form of the Tsallis entropy function, Axiomatising the Prior future in predicate logic, Analyzing completeness of axiomatic functional systems for temporal × modal logics