Search results
- 1.0483809 - ÚI 2023 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC16-07954J
Grant - others:GA ČR(CZ) GPP202/11/P304
Institutional support: RVO:67985807
Keywords : coalgebraic logic * cover modality * relation lifting * ordered coalgebras * similarity * Hennessy-Milner property
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.6, year: 2022
Method of publishing: Open access
https://dx.doi.org/10.46298/lmcs-18(3:18)2022
Permanent Link: http://hdl.handle.net/11104/0278984File Download Size Commentary Version Access 0483809-afin.pdf 7 711.7 KB OA CC BY 4.0 Publisher’s postprint open-access 483809-prearx.pdf 2 475.3 KB arXiv.org Author´s preprint open-access - 2.0461966 - ÚI 2017 RIV DE eng C - Conference Paper (international conference)
Bílková, Marta - Dostál, Matěj
Expressivity of Many-Valued Modal Logics, Coalgebraically.
Logic, Language, Information, and Computation. Berlin: Springer, 2016 - (Väänänen, J.; Hirvonen, A.; de Queiroz, R.), s. 109-124. Lecture Notes in Computer Science, 9803. ISBN 978-3-662-52920-1. ISSN 0302-9743.
[WoLLIC 2016. International Workshop /23./. Puebla (MX), 16.08.2016-19.08.2016]
R&D Projects: GA ČR(CZ) GF15-34650L; GA ČR GA13-14654S
Institutional support: RVO:67985807
Keywords : coalgebra * coalgebraic logic * predicate lifting * modal logic * many-valued logic * expressivity * bisimulation * Hennessy-Milner property
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261503File Download Size Commentary Version Access a0461966.pdf 9 271.9 KB Publisher’s postprint require - 3.0425733 - ÚI 2014 RIV DE eng C - Conference Paper (international conference)
Bílková, Marta - Dostál, M.
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic.
Algebra and Coalgebra in Computer Science. Berlin: Springer, 2013 - (Heckel, R.; Milius, S.), s. 66-79. Lecture Notes in Computer Science, 8089. ISBN 978-3-642-40205-0. ISSN 0302-9743.
[CALCO 2013. International Conference /5./. Warsaw (PL), 03.09.2013-06.09.2013]
R&D Projects: GA ČR GAP202/10/1826
Grant - others:SGS ČVUT(CZ) SGS12/060/OHK3/1T/13
Institutional support: RVO:67985807
Keywords : coalgebra * coalgebraic logic * relation lifting * many-valued logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0231547File Download Size Commentary Version Access a0425733.pdf 1 271.5 KB Publisher’s postprint require - 4.0379885 - ÚI 2013 RIV GB eng C - Conference Paper (international conference)
Bílková, Marta - Horčík, Rostislav - Velebil, J.
Distributive substructural logics as coalgebraic logics over posets.
Advances in Modal Logic. London: College Publications, 2012 - (Bolander, T.; Braüner, T.; Moss, L.; Ghilardi, S.), s. 119-142. 9. ISBN 978-1-84890-068-4.
[Advances in Modal Logic. Copenhagen (DK), 22.08.2012-25.08.2012]
R&D Projects: GA ČR GAP202/11/1632
Institutional research plan: CEZ:AV0Z10300504
Institutional support: RVO:67985807
Keywords : substructural logics * frame semantics * coalgebras * coalgebraic logic * Goldblatt-Thomason theorem
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0210742File Download Size Commentary Version Access 0379885.pdf 1 756.4 KB Author´s preprint open-access - 5.0368502 - ÚI 2012 RIV DE eng C - Conference Paper (international conference)
Bílková, Marta - Kurz, A. - Petrisan, D. - Velebil, J.
Relation Liftings on Preorders and Posets.
Algebra and Coalgebra in Computer Science. Berlin: Springer, 2011 - (Corradini, A.; Klin, B.; Cirstea, C.), s. 115-129. Lecture Notes in Computer Science, 6859. ISBN 978-3-642-22943-5. ISSN 0302-9743.
[CALCO 2011. International Conference /4./. Winchester (GB), 30.08.2011-02.09.2011]
R&D Projects: GA ČR GAP202/11/1632
Institutional research plan: CEZ:AV0Z10300504
Keywords : relation lifting * exact squares * monotone relation * coalgebraic logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0202829File Download Size Commentary Version Access a0368502.pdf 0 286.7 KB Publisher’s postprint require - 6.0327987 - ÚI 2010 NL eng A - Abstract
Bílková, Marta - Palmigiano, A. - Venema, Y.
Gentzen System for Coalgebraic Cover Modalities.
Topology, Algebra and Categories in Logic. Amsterdam: University of Amsterdam, 2009.
[TACL 2009. Topology, Algebra and Categories in Logic. 07.07.2009-11.07.2009, Amsterdam]
R&D Projects: GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : modal logic * coalgebraic logic * Gentzen systems * cover modality
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174404