. . . . "Feasible Disjunction Property and Feasible Interpolation in Modal Logic"@en . "Efektivn\u00ED vlastnost disjunkce a efektivn\u00ED interpolace v mod\u00E1ln\u00ED logice"@cs . "Efektivn\u00ED vlastnost disjunkce a efektivn\u00ED interpolace v mod\u00E1ln\u00ED logice"@cs . . . . "Feasible; Disjunction; Property; Feasible; Interpolation; Modal; Logic"@en . "421777" . . . . . "1"^^ . "11210" . "Feasible Disjunction Property and Feasible Interpolation in Modal Logic" . "B\u00EDlkov\u00E1, Marta" . . . . "RIV/00216208:11210/07:00000721" . "Feasible Disjunction Property and Feasible Interpolation in Modal Logic"@en . "1"^^ . . "Z(MSM0021620808)" . . . . "V \u010Dl\u00E1nku je dok\u00E1z\u00E1na efektivn\u00ED vlastnost disjunkce v mod\u00E1ln\u00EDch logik\u00E1ch K, K4, K4Grz, GL, T, S4, a S4Grz, uniformn\u00EDm a jednoduch\u00FDm d\u016Fkazem zalo\u017Een\u00FDm na uniformn\u00ED definici sekventov\u00E9ho kalkulu pro zm\u00EDn\u011Bn\u00E9 logiky. Jako d\u016Fsledek dostaneme efektivn\u00ED interpolaci ve zm\u00EDn\u011Bn\u00FDch logik\u00E1ch. V\u00FDsledky obsa\u017Een\u00E9 v \u010Dl\u00E1nku jsou slab\u0161\u00ED ne\u017E sou\u010Dasn\u011B dosa\u017Een\u00E9 P. Hrube\u0161em."@cs . "RIV/00216208:11210/07:00000721!RIV08-MSM-11210___" . "http://iti.mff.cuni.cz/series/files/iti341.pdf" . "[402971D3DBDE]" . . "Feasible Disjunction Property and Feasible Interpolation in Modal Logic" . "We prove Feasible Disjunction Property for modal propositional logics K, K4, K4Grz, GL, T, S4, and S4Grz, by a uniform and simple proof based on modular modal sequent proof systems. We derive Feasible Interpolation Theorem for all the logics. Our results are weaker than Hrube\u0161\u2019 obtained recently."@en . "We prove Feasible Disjunction Property for modal propositional logics K, K4, K4Grz, GL, T, S4, and S4Grz, by a uniform and simple proof based on modular modal sequent proof systems. We derive Feasible Interpolation Theorem for all the logics. Our results are weaker than Hrube\u0161\u2019 obtained recently." .