Bílková Marta

Publikace ASEP

RIV ID 6286615               

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 3

0461966 - UIVT-O 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GF15-34650L; GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebra * coalgebraic logic * predicate lifting * modal logic * many-valued logic * expressivity * bisimulation * Hennessy-Milner property
Kód oboru RIV: BA - Obecná matematika
Dostál, Matěj
Trvalý odkaz: http://hdl.handle.net/11104/0261503

Citace, recenze

Citace:
MARTI, M. - METCALFE, G. Expressivity in chain-based modal logics. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, MAY 2018, vol. 57, no. 3-4, p. 361-380.
CINTULA, P. - MENCHON, P. - NOGUERA, C. Toward a general frame semantics for modal many-valued logics. SOFT COMPUTING. ISSN 1432-7643, APR 2019, vol. 23, no. 7, SI, p. 2233-2241.

0491981 - UIVT-O 2019 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Cintula, Petr - Lávička, Tomáš
Lindenbaum and Pair Extension Lemma in Infinitary Logics.
Logic, Language, Information and Computation. Berlin: Springer, 2018 - (Moss, L.; de Queiroz, R.; Martinez, M.), s. 130-144. Lecture Notes on Computer Science, 10944. ISBN 978-3-662-57668-7. ISSN 0302-9743.
[WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./. Bogotá (CO), 24.07.2018-27.07.2018]
Grant CEP: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
AV ČR(CZ) JSPS-16-08
Bilaterální spolupráce
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (UTIA-B)
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Cintula, Petr
Trvalý odkaz: http://hdl.handle.net/11104/0285566

0471990 - UIVT-O 2017 RIV GB eng M - Část monografie knihy
Bílková, Marta
Uniform Interpolation in Provability Logics.
Liber Amicorum Alberti. A Tribute to Albert Visser. London: College Publications, 2016 - (Eijck van, J.; Iemhoff, R.; Joosten, J.), s. 57-90. Tributes, 30. ISBN 978-1-84890-204-6
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: uniform interpolation * provability logics * analytical calculi * terminating calculi
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0269350