1 problem

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

The selta]M axiomatization conjecture for neighborhood contingency logics