http://www.ags.uni-sb.de/~chris/papers/B9.pdf % Status : Theorem (Henkin semantics) % Syntax : % Comments : Formalization in THF by C. Benzmueller %------------------------------------------------------------------------------ include(’ICL_k.ax’). include (0)

by See
Venue:iclval @ (icl_impl @ (icl_atom @ s) @ (icl_says @ (icl_princ @ a) @ (icl_atom @ s))) )). %------------------------------------------------------------------------------ % File : ICL_cuc_s4.thf % Domain : ICL Logic and its translation into Modal Logic S4 (