Alexander V. Grefenshtein, “Infinitary calculus for first-order logic of probability with distribution on the domain”, J. Logic Comput., 2025, Volume 35, Issue 5,Pages <nobr>39–1</nobr>

RUS ENG

JOURNALS // Journal of Logic and Computation // Archive

J. Logic Comput., 2025, Volume 35, Issue 5, Pages 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

Received: 14.03.2025

Language: English

DOI: 10.1093/logcom/exaf039

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026