Number of the records: 1
Feasible Disjunction Property and Feasible Interpolation in Modal Logic
- 1.
SYSNO ASEP 0089500 Document Type V - Research Report R&D Document Type The record was not marked in the RIV Title Feasible Disjunction Property and Feasible Interpolation in Modal Logic Author(s) Bílková, Marta (UIVT-O) SAI, RID, ORCID Issue data Prague: ITI Charles University, 2007 Series ITI Series Series number 2007-341 Number of pages 15 s. Language eng - English Country CZ - Czech Republic Keywords interpolation ; modal logic ; disjunction property ; feasible interpolation Subject RIV BA - General Mathematics R&D Projects 1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) CEZ AV0Z10300504 - UIVT-O (2005-2011) Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2008
Number of the records: 1