2 problems

0 votes0 replies0 views
Soundness and strong completeness of ${\bf K^W}$ for filters and $(mc)$ -frames
Let ${\bf K^W}$ be the logic considered in the paper, let a filter be a neighborhood frame whose neighborhood collections satisfy the filter conditions defined in the surrounding d…
Conjectureopencompleteness modal-logic neighborhood-semanticsarXiv posted 2 days ago
0 votes0 replies0 views
The selta]M axiomatization conjecture for neighborhood contingency logics
s $\Delta$ M axiomatization conjecture. Replacing $\Delta$ M in the axiomatizations of the second-level logics with s $\Delta$ M should yield axiomatizations of the logics on the third,…
Conjectureopenaxiomatization contingency-logic neighborhood-semanticsarXiv posted 2 days ago

Soundness and strong completeness of KW{\bf K^W}KW for filters and (mc)(mc)(mc)-frames