The file ICL_s4.ax provides the axioms R and T are added to to obtain a mapping into modal logic S4. %------------------------------------------------------------------------------ % File : ICL_s4.ax % Domain : ICL Logic and its translation into Modal Log (0)

by L Paulson
Venue:Exploring Properties % of Normal Multimodal Logics in Simple Type Theory with LEO-II. % Festschrift in Honour of Peter B. Andrews. % See: http://www.ags.uni-sb.de/~chris/papers/B9.pdf % Status : % Syntax : % Comments : Formalization in THF by C. Benzmuell