Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters (Q395577)

From MaRDI portal





scientific article; zbMATH DE number 6251925
Language Label Description Also known as
default for all languages
No label defined
    English
    Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
    scientific article; zbMATH DE number 6251925

      Statements

      Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters (English)
      0 references
      0 references
      0 references
      0 references
      29 January 2014
      0 references
      branching time
      0 references
      indeterminism
      0 references
      tense logic
      0 references
      free choice
      0 references
      special relativity
      0 references
      Saul Kripke
      0 references
      A. N. Prior
      0 references

      Identifiers