Browse by Supervisor "Hubbers, Engelbert"

Sort by: Order: Results:

  • Bahovska, Elitsa (2020-07-10)
    Artificial Intelligence
    This thesis proposes a design for a framework to aid the study of the course Semantics and Correctness from the Faculty of Science of Radboud University. More specifi cally, it covers the subject of Structural Operational ...
  • Closed Access
    Fendor, Zuzanna (2020-07-01)
    Artificial Intelligence
    The goal of this thesis is to investigate how a tree-type natural deduction proof system for epistemic logic can be formalised. This problem is approached by laying out the concepts of epistemic logic and natural deduction ...