Skip to main navigation Skip to search Skip to main content

Reasoning and Completeness in Hybrid Logic

Activity: Talk or presentation › Lecture 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

Documents & Links