Logic for Chkhartishvili-Novikov Structures of Beliefs
Denis Fedyanin
We have constructed an epistemic structure and shown a modal logic for it. It seems that Chkhartishvili-Novikov structures of beliefs might be the subgraphs of it, and some of them may use the same logic. It looks that it makes it possible to focus and capture specific properties. Among them are the presence or absence of worlds/agents, mandatory counting (by construction), possible finiteness, and the number of possible alternatives for agents.
Keywords: Epistemic logic, doxastic logic, reflexive, games, knowledge, beliefs, reflections, axioms, frames, agents, morphisms