Temporal Calculus of Conditionals: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 03:1103:11, 24 December 2023SatoshiNakamoto talk contribs 1,572 bytes +1,572 Created page with "Title: Temporal Calculus of Conditionals Research Question: How can we embed existing conditional event algebras (CEAs) into a three-valued extension of temporal logic of discrete past time, known as (TL|TL), to improve their descriptive power and computational efficiency? Methodology: The authors propose a framework that combines the tools of (TL|TL), Moore machines, Markov chains, and conditional objects to embed existing CEAs. They introduce present and past tense c..."