Seminar for Probability Logic

 

PROGRAM

---

Plan rada Seminara Verovatnosnih logika za Septembar 2019.

Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 15h, pod rukovodstvom Profesora Miodraga Raskovica.

 

CETVRTAK, 12.09.2019. u 14:00, Sala 301f, MI SANU, Kneza Mihaila 36
Šejla Dautović, Matematički institut SANU
Probabilistic logic for reasoning about actions in time

In this lecture, we develop a probabilistic logic for reasoning about preconditions, postconditions and execution of actions in time. The language of our logic allows statements like "precondition of the action A will hold in the next moment" and uncertain information like "probability that the precondition of A will hold in the next moment is at least one half." We axiomatize this logic, provide corresponding semantics built on branching-time temporal models, and prove that the axiomatization is sound and strongly complete.

---

CETVRTAK, 26.09.2019. u 14:00, Sala 301f, MI SANU, Kneza Mihaila 36
prof. dr Miloš Arsenijević, Filozofski fakultet, Univerzitet u Beogradu
Modalnost i vreme: Zasnivanje temporalno-modalnog sistema logike događaja

Posle pregleda istorije Aristotelovog problema "buduće pomorske bitke" i njegove veze s principom bivalencije i pitanjem o toku vremena, biće analizirane osnovne postavke i problemi zasnivanja sistema temporalno-modalne logike događaja TM u kojem je princip bivalencije sačuvan.

---

Beograd, 2019.

---