Logic of Time and Spacetime 2025

This site contains all the important links and course materials for the course offered by the Logic Department (ELTE) in the spring semester of 2025.

• course syllabus on Overleaf
• Slides:
  • The presentation I showed you at the first occasion is this. The updated and the always-up-to-date version is and will be here on Overleaf
  • The next slideshow is about derivations here. The updated and the always-up-to-date version is and will be here on Overleaf
  • The one about completeness, the old one is here. The updated and the always-up-to-date version is and will be accessible here on Overleaf. There is also a completeness proof extension for irreflexive structures here on Overleaf.
  • The one about branching time here and here. The updated and the always-up-to-date version is and will be accessible on Overleaf.