1 problem

0 votes0 replies0 views
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…
Conjectureopenepistemic-logic modal-logic simplicial-modelsarXiv posted 2 days ago

Completeness conjecture for the simplicial model axiom system of KB4nKB4_nKB4n​