On the axiomatizability of some first-order spatio-temporal theories (Q514577)

From MaRDI portal





scientific article; zbMATH DE number 6693212
Language Label Description Also known as
default for all languages
No label defined
    English
    On the axiomatizability of some first-order spatio-temporal theories
    scientific article; zbMATH DE number 6693212

      Statements

      On the axiomatizability of some first-order spatio-temporal theories (English)
      0 references
      0 references
      0 references
      9 March 2017
      0 references
      logic and relativity
      0 references
      first-order spatio-temporal logic
      0 references
      axiomatizability
      0 references
      causality relations
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers