Výsledky vyhledávání
- 1.0570702 - ÚI 2024 US eng V - Výzkumná zpráva
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Crisp bi-Gödel modal logic and its paraconsistent expansion.
Cornell University: Cornell University, 2023. 29 s. arXiv.org e-Print archive, 2211.01882.
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
https://arxiv.org/abs/2211.01882
Trvalý link: https://hdl.handle.net/11104/0342026 - 2.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