Reasoning and Completeness in Hybrid Logic

Activity: Talk or presentationLecture and oral contribution

Description

Invited Distance Lecture (Zoom) at Tsinghua University, organized by Professor 刘奋荣 Liu Fenrong
Period25 Mar 2020
Held atTsinghua University, China
Degree of RecognitionInternational

Keywords

  • Logic
  • Hybrid Logic
  • First order logic
  • Reasoning
  • Completeness