Počet záznamů: 1  

Feasible Disjunction Property and Feasible Interpolation in Modal Logic

  1. 1.
    0089500 - ÚI 2008 CZ eng V - Výzkumná zpráva
    Bílková, Marta
    Feasible Disjunction Property and Feasible Interpolation in Modal Logic.
    Prague: ITI Charles University, 2007. 15 s. ITI Series, 2007-341.
    Grant CEP: GA MŠk(CZ) 1M0545
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: interpolation * modal logic * disjunction property * feasible interpolation
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0150695
     
Počet záznamů: 1