Грефенштейн Александр Витальевич

Публикации в базе данных Math-Net.Ru

1. Infinitary calculus for first-order logic of probability with distribution on the domain
   
   J. Logic Comput., 35:5 (2025),  39–1
2. О кванторной версии модальной логики Белнапа–Данна
   
   Матем. сб., 215:3 (2024),  37–69