Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness

Gennady Shtakser. Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness. Logica Universalis, 17(3):297-330, September 2023. [doi]

Abstract

Abstract is missing.