ICL_idem_s4.thf contain the encodings of the axioms unit, cuc and idem as proof problems. %------------------------------------------------------------------------------ % File : ICL_unit_s4.thf % Domain : ICL Logic and its translation into Modal Logic S4 (0)

by Files ICLunits4 thf, ICLcucs4 thf
Venue:p.3 of [1] % Refs : [1] Deepak Garg, Martín Abadi: A Modal Deconstruction of Access % Control Logics. FoSSaCS 2008: 216-230 % [2] C. Benzmueller and