Modal logic and the polynomial hierarchy: from QBFs to K and back (2022)

First Author: Das A

Attributed to: Structure vs. Invariants in Proofs (StrIP) funded by FLF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://dblp.org/rec/conf/aiml/0002M22.bib

Type: Conference/Paper/Proceeding/Abstract