Report copyright - 1993-Propositional Logic of ContextA propositional logic of context extends classical propositional logic in two ways. Firstly, a new modal- ity, ist(K, 4), is introduced. It is used
Please pass captcha verification before submit form