The file provides the axioms R and T are added to to obtain a mapping into modal logic S4. %------------------------------------------------------------------------------ % File : % 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: % Status : % Syntax : % Comments : Formalization in THF by C. Benzmuell