RUS  ENG
Full version
SEMINARS

Seminars "Proof Theory" and "Logic Online Seminar"
December 18, 2023 18:30, Moscow, Zoom


Logics with Probability Operators. Completeness and Decidability

Z. Ognjanović

Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrad



Abstract: The problems of representing, and working with, uncertain knowledge are ancient problems dating, at least, from Leibnitz. In the last decades there is a growing interest in the field connected with applications to computer science and artificial intelligence. Researchers from those areas have studied uncertain reasoning using different methods. Some of the proposed formalisms for handling uncertain knowledge are based on logics with probability operators. The aim of this presentation is to provide an introduction to such formal systems. The main focus is related to mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues: axiomatizations, completeness, compactness, decidability.

Language: English


© Steklov Math. Inst. of RAS, 2024