Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness
Crossref DOI link: https://doi.org/10.1007/s11787-023-00330-2
Published Online: 2023-07-10
Published Print: 2023-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shtakser, Gennady
Text and Data Mining valid from 2023-07-10
Version of Record valid from 2023-07-10
Article History
Received: 14 June 2021
Accepted: 12 June 2023
First Online: 10 July 2023