In this paper we analyze the prepositional extensions of the minimal classical modal logic system E, which form a lattice denoted as CExtE. Our method of analysis uses algebraic calculations with ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results