Proof Systems in Indexical Hybrid Logic

  • Klaus Frovin Jørgensen (Lecturer)

Activity: Talk or presentation › Lecture and oral contribution

Period23 May 2013
Event titleModality and Modalities
Event typeConference
LocationRoskilde, DenmarkShow on map