Logic/General Logic/Logics of Knowledge and Belief

Subject Classification

ACM: Computing methodologies~Reasoning about belief and knowledge

AMS: Mathematical logic and foundations / General logic / Logics of knowledge and belief (including belief change)

2022

2021

2018