University of Salamanca

Blackburn, P. R. (Visiting researcher)

Activity: Visiting an external institutionVisiting an external academic institution

Description

Collaborative research: finishing research article, and planning further research projects.
Period9 Nov 2017 - 14 Nov 2017
VisitingUniversity of Salamanca

Keywords

  • Hybrid Logic
  • Temporal Language
  • Temporal Logic
  • Indexicality