Počet záznamů: 1
Feasible Disjunction Property and Feasible Interpolation in Modal Logic
- 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ŠMT(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