A Logical Theory of Localization. Belle, V. & Levesque, H. J. Studia Logica, 104(4):741–772, 2016.
A Logical Theory of Localization [link]Paper  doi  bibtex   
@Article{DBLP:journals/sLogica/BelleL16,
  Title                    = {A Logical Theory of Localization},
  Author                   = {Vaishak Belle and
 Hector J. Levesque},
  Journal                  = {Studia Logica},
  Year                     = {2016},
  Number                   = {4},
  Pages                    = {741--772},
  Volume                   = {104},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/sLogica/BelleL16},
  Doi                      = {10.1007/s11225-015-9625-0},
  Timestamp                = {Sat, 20 May 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1007/s11225-015-9625-0}
}

Downloads: 0