Modal logic

Repository

Repository is empty

Poll

No polls currently selected on this page!

Modal logic

Code: 227989
ECTS: 5.0
Lecturers in charge: prof. dr. sc. Mladen Vuković
Take exam: Studomat
Load:

1. komponenta

Lecture typeTotal
Lectures 45
* Load is given in academic hour (1 academic hour = 45 minutes)
Description:
Literature:
  1. P. Blackburn, M. de Rijke, Y. Venema: Modal Logic
  2. S. Demri, V. Goranko, M. Lange: Temporal logics in computer science: finite-state systems
  3. M. Vuković: Matematička logika
Prerequisit for:
Enrollment :
Attended : Mathematical logic

Examination :
Passed : Mathematical logic
1. semester
Izborni predmet 1, 2 - Regular study - Computer Science and Mathematics

2. semester Not active
Izborni predmet 1, 2 - Regular study - Computer Science and Mathematics

3. semester
Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics

4. semester Not active
Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics
Consultations schedule: