1 problem

Matching

Completeness conjecture for the simplicial model axiom system of $KB4_n$
Let $A$ be the set of agents, and let $\KBfour+\mathbf{NE}+(\mathbf{SA_a})_{a \in A}$ be the axiom system consisting of the $KB4_n$ axioms together with the non-emptiness axiom…
openepistemic-logic modal-logic simplicial-models
07

Completeness conjecture for the simplicial model axiom system of KB4nKB4_nKB4n​