Grefenshtein Alexander Vitalevich

Publications in 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. On the quantified version of the Belnap–Dunn modal logic
   
   Mat. Sb., 215:3 (2024),  37–69