7 problems

The paper considers a reversible quantum measurement performed by a hypothetical insider observer, equivalently a quantum measurement in a quantum-space background such as the fuzz…

Let $\models^{(0,1]}_{\mathsf{G}_{\mathsf{inv}}}$ and $\models^{(\sfrac{1}{2},1]}_{\mathsf{G}_{\mathsf{inv}}}$ be the two filter-generated entailment relations that are not already…

Finite matrix nonrepresentability conjecture. The logics $Ciu^{\ast}_n$ do not admit finite matrix representations.

The full modal logic $\mathsf{G}^{2\pm}_{\blacksquare,\blacklozenge}$ is obtained by allowing the non-normal modalities $\blacksquare$ and $\blacklozenge$ without restricting to fi…

Let a logic be paraconsistentized by reasoning with the consistent subsets of an inconsistent theory. Complexity conjecture. The complexity of the resulting satisfiability problem…

Da Costa's conjecture. All logics can be adapted in order to become paraconsistent.

Relationship conjecture. A close relationship exists between Paraconsistent Non-dependence Logic and Jaśkowski's Discussive Logic.