Název: Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Autoři: Bílková, Marta
Typ dokumentu: Výzkumné zprávy
Rok: 2007
Jazyk: eng
Edice: ITI Series, svazek: 2007-341
Klíčová slova: disjunction property; feasible interpolation; interpolation; modal logic
Číslo projektu: CEZ:AV0Z10300504 (CEP), 1M0545 (CEP)
Poskytovatel projektu: GA MŠk

Instituce: Ústav informatiky AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0150695

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-37668


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Zprávy > Výzkumné zprávy