RUS
ENG
Полная версия
ЖУРНАЛЫ
// Journal of Logic and Computation
// Архив
J. Logic Comput., 2025, том 35, выпуск 5,
страницы
39–1
(Mi jlc8)
Infinitary calculus for first-order logic of probability with distribution on the domain
Alexander V. Grefenshtein
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia
Поступила в редакцию:
14.03.2025
Язык публикации:
английский
DOI:
10.1093/logcom/exaf039
Реферативные базы данных:
©
МИАН
, 2026