Browsing Fen Edebiyat Fakültesi / Faculty of Letters and Sciences by Subject "unifier"
Now showing items 1-1 of 1
(Oxford Univ Press, Great Clarendon St, Oxford Ox2 6Dp, England, 2009-04)We extend and generalize the work on unifiability of . We give a semantic characterization for unifiability and non-unifiability in the extensions of K4. We apply this in particular to extensions of KD4, GL and K4.3 to ...