Sharpening complexity results in quantified probability logic

Stanislav O. Speranski

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

Received: 07.06.2024
Revised: 09.09.2024
Accepted: 27.08.2024

Language: English

DOI: 10.1093/jigpal/jzae114

Bibliographic databases:

•