@Article{         LLPLLP.2018.013,
  Author        = "Tkaczyk, Marcin and Jarmu{\.z}ek, Tomasz",
  Abstract      = "Most accounts, including leading textbooks, credit Arthur Norman Prior with the inventing of temporal (tense logic). However, (i) Jerzy {\L}o{\'s} delivered his version of temporal logic in 1947, several years before Prior; (ii) Henrk Hi{\.z}'s review of {\L}o{\'s}'s system in Journal of Symbolic Logic was published as early as 1951; (iii) there is evidence to the effect that, when constructing his tense calculi, Prior was aware of {\L}o{\'s}'s system. Therefore, although Prior is certainly a key figure in the history tense logic, as well as modal logic in general, it should be accepted both in research papers and in teaching that temporal logic was invented by Jerzy {\L}o{\'s}.",
  date-added    = "2019-04-13 11:32:27 +0200",
  date-modified = "2019-04-13 11:32:27 +0200",
  ISSN          = "2300-9802",
  Journal       = "Logic and Logical Philosophy",
  Keywords      = "positional logic; the realization operator R; temporal logic",
  Number        = "0",
  Pages         = "1--17",
  Title         = "Jerzy {\L}o{\'s} Positional Calculus and the Origin of Temporal Logic",
  URL           = "http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2018.013",
  Volume        = "0",
  Year          = "2018",
  bdsk-url-1    = "http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2018.013",
  File          = "17660-42863-1-PB (0) (0) - a - a - h.pdf"
}

@Article{ LLPLLP.2018.013, Author = "Tkaczyk, Marcin and Jarmu{.z}ek, Tomasz", Abstract = "Most accounts, including leading textbooks, credit Arthur Norman Prior with the inventing of temporal (tense logic). However, (i) Jerzy {\L}o{\'s} delivered his version of temporal logic in 1947, several years before Prior; (ii) Henrk Hi{.z}'s review of {\L}o{\'s}'s system in Journal of Symbolic Logic was published as early as 1951; (iii) there is evidence to the effect that, when constructing his tense calculi, Prior was aware of {\L}o{\'s}'s system. Therefore, although Prior is certainly a key figure in the history tense logic, as well as modal logic in general, it should be accepted both in research papers and in teaching that temporal logic was invented by Jerzy {\L}o{\'s}.", date-added = "2019-04-13 11:32:27 +0200", date-modified = "2019-04-13 11:32:27 +0200", ISSN = "2300-9802", Journal = "Logic and Logical Philosophy", Keywords = "positional logic; the realization operator R; temporal logic", Number = "0", Pages = "1--17", Title = "Jerzy {\L}o{\'s} Positional Calculus and the Origin of Temporal Logic", URL = "http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2018.013", Volume = "0", Year = "2018", bdsk-url-1 = "http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2018.013", File = "17660-42863-1-PB (0) (0) - a - a - h.pdf" }