Sharpening complexity results in quantified probability logic

Stanislav O. Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia

Поступила в редакцию: 07.06.2024
Исправленный вариант: 09.09.2024
Принята в печать: 27.08.2024

Язык публикации: английский

DOI: 10.1093/jigpal/jzae114

Реферативные базы данных:

•