scientific article; zbMATH DE number 2196599
From MaRDI portal
Publication:5311046
zbMath1082.03015MaRDI QIDQ5311046
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Axiomatization of a branching time logic with indistinguishability relations ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Temporal logic and its application to normative reasoning ⋮ A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later ⋮ Axiomatising the Prior future in predicate logic ⋮ Fooling around with tenses ⋮ The truth about the future ⋮ Combinatorial basis and non-asymptotic form of the Tsallis entropy function ⋮ Analyzing completeness of axiomatic functional systems for temporal × modal logics
This page was built for publication:
