Joint supervision of MA thesis: Hybrid Logic by Asta Halkjær From

Jørgen Villadsen (Examiner), Blackburn, P. R. (Examiner)

Activity: Examination

Description

Joint supervision with Jørgen Villadsen (DTU)
Period1 Sep 201929 Jan 2020
Examinee
Examination held atTechnical University of Denmark
Degree of RecognitionNational

Keywords

  • Hybrid Logic
  • Isabelle/Hol
  • Proof assistant