Seminar for Probability Logic

 

PROGRAM

---

Plan rada Seminara Verovatnosnih logika za DECEMBAR 2024.

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 14h, pod rukovodstvom Profesora Miodraga Raskovica.

Video prenos predavanja možete pratiti putem linka:
https://miteam.mi.sanu.ac.rs/asset/kdyH6izdfFkxcpe8P/?group=kdyH6izdfFkxcpe8P
Ukoliko želite da aktivno učestvujete (u smislu vaših eventualnih pitanja ili komentara) možete se prijaviti putem registracione forme na ovom linku:
https://miteam.mi.sanu.ac.rs/asset/gvS3adhP2bTJ8ZuDT

 

Četvrtak, 05.12.2024. u 14:00, Kneza Mihaila 36, sala 301f i On-line
Elena Popova, International Laboratory for Logic, Linguistics and Formal Philosophy, HSE University
JUSTIFICATION LOGIC: AN OVERVIEW
In this talk, I will present an overview of justification logics that are explicit analogues of modal logics. In justification logics, expressions of the form ‘t:F’ are used in place of modal formulas ‘\Box F’. They are interpreted as “t is a justification of F”, where ‘t’ is a justification term. The first propositional justification logic, LP, was introduced by S. N. Artemov and corresponds to modal logic S4. Further studies led to describing justification logics for modal systems K, KT, K4 and others. The initial versions of the semantics for these logics were defined and researched by S. N. Artemov and M. Fitting. I will introduce and describe the most prominent justification logics, their properties and their semantics.

---

Četvrtak, 12.12.2024. u 14:00, Kneza Mihaila 36, sala 301f i On-line
Angelina Ilić-Stepić, MI SANU
PROBABILITY LOGICS FOR REASONING ABOUT MEASURING QUANTUM OBSERVATIONS ON THE SPACES WITH INFINITE DIMENSION
In previous work we presented families of probability logics suitable for reasoning about quantum observations on the spaces with finite dimension. Since quantum systems are often associated by infinite dimensional Hilbert spaces, we have extended this approach and we developed the logic so that we can consider measurements on infinite dimensional spaces as well. The basic ”quantum logic statement” we are considering is:”By measuring some observable, let’s say O, we obtained its eigenvalue a”. In order to express it we use modal formulas of the form □♦α. Using modal formula □♦α instead of propositional formula α was introduced to distinguish the concepts: ”Something is true” (which we denote by α) and ”Something is oberved to be true, i.e., it is measured” (denoted by □♦α). Applying this approach and relying on the fact that □ does not distribute over ∨, we do not need non-distributive structures (like non-distributive lattices with numerous axioms and rules which are normally used in quantum logics).
Formulas are interpreted in reflexive and symmetric Kripke models equipped with probability distributions over families of subsets of possible worlds that are orthocomplemented lattices. We give infinitary axiomatizations, prove the corresponding soundness and strong completeness theorems.

---

Beograd, 2024.

---