Search results
- 1.0570702 - ÚI 2024 US eng V - Research Report
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.
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
https://arxiv.org/abs/2211.01882
Permanent Link: https://hdl.handle.net/11104/0342026 - 2.0089500 - ÚI 2008 CZ eng V - Research Report
Bílková, Marta
Feasible Disjunction Property and Feasible Interpolation in Modal Logic.
Prague: ITI Charles University, 2007. 15 s. ITI Series, 2007-341.
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : interpolation * modal logic * disjunction property * feasible interpolation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0150695