2 problems

Matching

The ALUT non-unknowability conjecture
ALUT non-unknowability conjecture. For all $\varphi\in\textbf{ALUT}$ and all $i\in\textbf{I}$ ,
openepistemic-logic knowability modal-logic
05
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

The ALUT non-unknowability conjecture