Výsledky vyhledávání
- 1.0582922 - ÚI 2025 eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej - Nazari, S.
Reasoning with belief functions over Belnap–Dunn logic.
Annals of Pure and Applied Logic. Online July 2023 (2024), č. článku 103338.
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Klíčová slova: Belief functions * Belnap–Dunn logic * Two-layered modal logics * Paraconsistent logics * Łukasiewicz logic
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2023.103338
Trvalý link: https://hdl.handle.net/11104/0350964 - 2.0577158 - ÚI 2025 US eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Crisp Bi-Gödel modal logic and its paraconsistent expansion.
Logic Journal of the IGPL. Online First 28 September 2023 (2024), č. článku jzad017. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Paraconsistent logics * Gödel modal logic * correspondence theory * axiomatic systems * complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1093/jigpal/jzad017
Trvalý link: https://hdl.handle.net/11104/0346391 - 3.0567202 - ÚI 2024 RIV US eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej
Qualitative reasoning in a two-layered framework.
International Journal of Approximate Reasoning. Roč. 154, March 2023 (2023), s. 84-108. ISSN 0888-613X. E-ISSN 1873-4731
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: Qualitative probabilities * Comparative belief * Two-layered modal logics * Gödel logic * Belnap–Dunn logic * Paraconsistent logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 3.9, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1016/j.ijar.2022.12.011
Trvalý link: https://hdl.handle.net/11104/0338479 - 4.0559445 - ÚI 2023 RIV DE eng J - Článek v odborném periodiku
Goris, E. - Bílková, Marta - Joosten, J.J. - Mikec, L.
Theory and Application of Labelling Techniques for Interpretability Logics.
Mathematical Logic Quarterly. Roč. 68, č. 3 (2022), s. 352-374. ISSN 0942-5616. E-ISSN 1521-3870
Institucionální podpora: RVO:67985807
Klíčová slova: modal logic * interpretability logic * Veltman semantics * completeness
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1002/malq.202200015
Trvalý link: https://hdl.handle.net/11104/0332745 - 5.0505107 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
Bílková, Marta - Colacito, A.
Proof Theory for Positive Logic with Weak Negation.
Studia Logica. Roč. 108, č. 4 (2020), s. 649-686. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Minimal propositional logic * Weak negation * Intuitionistic propositional logic * Sequent calculus * Terminating sequent calculus * Decidability * Complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.585, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11225-019-09869-y
Trvalý link: http://hdl.handle.net/11104/0296624 - 6.0497856 - ÚI 2019 GB eng J - Článek v odborném periodiku
Bílková, Marta - Greco, G. - Palmigiano, A. - Tzimoulis, A. - Wijnberg, N.
The Logic of Resources and Capabilities.
Review of Symbolic Logic. Roč. 11, č. 2 (2018), s. 371-410. ISSN 1755-0203. E-ISSN 1755-0211
Klíčová slova: dynamic epistemic logic * modal logic * algorithmic correspondence * sahlqvist theory * proof theory * calculus * canonicity * semantics * property * ability * display calculus * logics for organizations * multitype calculus * algebraic proof theory
Impakt faktor: 0.731, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0290334 - 7.0483809 - ÚI 2023 RIV DE eng J - Článek v odborném periodiku
Bílková, Marta - Dostál, M.
Moss' Logic for Ordered Coalgebras.
Logical Methods in Computer Science. Roč. 18, č. 3 (2022), 18:1-18:61. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA ČR(CZ) GC16-07954J
Grant ostatní: GA ČR(CZ) GPP202/11/P304
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebraic logic * cover modality * relation lifting * ordered coalgebras * similarity * Hennessy-Milner property
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://dx.doi.org/10.46298/lmcs-18(3:18)2022
Trvalý link: http://hdl.handle.net/11104/0278984Název souboru Staženo Velikost Komentář Verze Přístup 0483809-afin.pdf 7 711.7 KB OA CC BY 4.0 Vydavatelský postprint povolen 483809-prearx.pdf 2 475.3 KB arXiv.org Autorský preprint povolen - 8.0455671 - ÚI 2016 NL eng J - Článek v odborném periodiku
Bílková, Marta - Palmigiano, A. - Venema, Y.
Proof systems for Moss’ coalgebraic logic.
Theoretical Computer Science. Roč. 549 (2014), s. 36-60. ISSN 0304-3975. E-ISSN 1879-2294
Impakt faktor: 0.657, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0256287 - 9.0424950 - ÚI 2014 RIV DE eng J - Článek v odborném periodiku
Bílková, Marta - Kurz, A. - Petrisan, D. - Velebil, J.
Relation lifting, with an application to the many-valued cover modality.
Logical Methods in Computer Science. Roč. 9, č. 4 (2013), 8_1-8_48. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: relation lifting * module * exact square * enriched categories * commutative quantale * coalgebra * modal logic * cover modality
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.443, rok: 2013
http://www.lmcs-online.org/ojs/viewarticle.php?id=1154&layout=abstract
Trvalý link: http://hdl.handle.net/11104/0230931 - 10.0358358 - ÚI 2012 GB eng J - Článek v odborném periodiku
Bílková, Marta - Velebil, J. - Venema, Y.
On Monotone Modalities and Adjointness.
Mathematical Structures in Computer Science. Roč. 21, č. 2 (2011), s. 383-416. ISSN 0960-1295. E-ISSN 1469-8072
Grant CEP: GA ČR GPP202/11/P304
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.690, rok: 2011
Trvalý link: http://hdl.handle.net/11104/0196431