Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results

Open in new window