@@ -90,7 +90,6 @@ This section provides an overview of the tactics defined throughout the project.
-[[RUI]]TadeuszLitak'sformalizationofW.RuitenburgJSL1984paper"On the Period of Sequences (An(p)) in Intuitionistic Propositional Calculus"
-[[CMP]]Litak,Tadeusz."Constructive modalities with provability smack."LeoEsakiaonDualityinModalandIntuitionisticLogics.SpringerNetherlands,2014.187-216.
-[[CML]]Bellin,Gianluigi,ValeriaDePaiva,andEikeRitter."Extended Curry-Howard correspondence for a basic constructive modal logic."InProceedingsofMethodsforModalities.2001.
-[[DNM]]Litak,Tadeusz."Double Negation and Modality"ALCOP2016.
-[[DNM]]ourmanuscript"Negative Translations and Normal Modality"