Title: Natural deduction, hybrid systems and modal logics
Subjects: Modality (Logic), Logic, Modality (logic), Artificial Intelligence (incl. Robotics), Algorithms, Philosophy, Philosophy (General), Computer science, Artificial intelligence, Symbolic and mathematical Logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages