Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic

There is a collective of locally communicating agents. They believe in some facts of their world. Any agent changes their beliefs depending on the beliefs of their neighbours. Which rules are to be followed? Based on the agent analogy, this paper shows how to extract non‐logical axioms and structural features of the formal doxastic system with temporal instantiation from given inference of a formula, i.e. series of the propositions.