Strong completeness for CTL

Prelegent(ci)

Kordula Świętorzecka

Afiliacja

UKSW

Język referatu

angielski

Termin

21 listopada 2025 12:15

Pokój

p. 5450

Tytuł w języku polskim

Silne twierdzenie o pełności dla CTL

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

We will discuss the history of the development of Prior’s temporal logics, which are now used in computer science. Our main focus will be the branching-time logic CTL. We will examine issues related to completeness theorems for these logics – in particular, the lack of semantic compactness and the use of omega-rules in their proof systems. Our goal will be to prove a strong completeness theorem for CTL.

The first part of the talk will be presented by Kordula Świętorzecka, and the second part by Konrad Zdanowski.

---