Search results
- 1.0580808 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej
Two-Layered Logics for Paraconsistent Probabilities.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 101-117. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : two-layered logics * Łukasiewicz logic * non-standard probabilities * paraconsistent logics * constraint tableaux
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1007/978-3-031-39784-4_7
Permanent Link: https://hdl.handle.net/11104/0349571 - 2.0573769 - ÚI 2024 RIV GB eng C - Conference Paper (international conference)
Bílková, Marta - Sedlár, Igor
Epistemic Logics of Structured Intensional Groups.
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023). Oxford: Open Publishing Association, 2023 - (Verbrugge, R.), s. 113-130. Electronic Proceedings in Theoretical Computer Science, 379. ISSN 2075-2180.
[TARK 2023: Theoretical Aspects of Rationality and Knowledge /19./. Oxford (GB), 28.06.2023-30.06.2023]
R&D Projects: GA ČR(CZ) GF22-23022L
Institutional support: RVO:67985807
Keywords : epistemic logic * group knowledge * common knowledge * relational semantics * neighbourhood semantics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?TARK2023.11.pdf
Permanent Link: https://hdl.handle.net/11104/0344132File Download Size Commentary Version Access 0573769-aoa.pdf 6 255.2 KB OA CC BY Publisher’s postprint open-access
Research data: ArXiv.org - 3.0560973 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Paraconsistent Gödel Modal Logic.
Automated Reasoning: 11th International Joint Conference, IJCAR 2022 Proceedings. Cham: Springer, 2022 - (Blanchette, J.; Kovács, L.; Pattinson, D.), s. 429-448. Lecture Notes in Computer Science, 13385. ISBN 978-3-031-10768-9.
[IJCAR 2022: International Joint Conference on Automated Reasoning /11./. Haifa (IL), 08.08.2022-10.08.2022]
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807
Keywords : Constraint tableaux * Gödel logic * Two-dimensional logics * Modal logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: https://hdl.handle.net/11104/0333737File Download Size Commentary Version Access 0560973-aoa.pdf 5 702.2 KB OA CC BY 4.0 Publisher’s postprint open-access - 4.0547636 - ÚI 2022 RIV AU eng C - Conference Paper (international conference)
Bílková, Marta - Christoff, Z. - Roy, O.
Revisiting Epistemic Logic with Names.
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge. Waterloo: Open Publishing Association, 2021 - (Halpern, J.; Perea, A.), s. 39-54. Electronic Proceedings in Theoretical Computer Science, 335. ISSN 2075-2180.
[TARK 2021: Theoretical Aspects of Rationality and Knowledge /18./. Beijing (CN), 25.06.2021-27.06.2021]
Institutional support: RVO:67985807
Keywords : epistemic logic * multi-agent epistemic logic * common knowledge * distributed knowledge * neighbourhood semantics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2021.4
Permanent Link: http://hdl.handle.net/11104/0323830File Download Size Commentary Version Access 0547636-afin.pdf 1 215.8 KB OA Publisher’s postprint open-access - 5.0547122 - ÚI 2022 RIV CH eng C - Conference Paper (international conference)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Constraint Tableaux for Two-Dimensional Fuzzy Logics.
TABLEAUX 2021: Automated Reasoning with Analytic Tableaux and Related Methods. Cham: Springer, 2021 - (Das, A.; Negri, S.), s. 20-37. Lecture Notes on Computer Science, 12842. ISBN 978-3-030-86058-5. ISSN 0302-9743.
[Tableaux 2021: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /30./, co-located with FroCoS 2021: International Symposium on Frontiers of Combining Systems /13./. Birmingham / online (GB), 06.09.2021-09.09.2021]
Institutional support: RVO:67985807
Keywords : Constraint tableaux * Lukasiewicz logic * Gödel logic * Two-dimensional logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0323453 - 6.0534300 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
Bílková, Marta - Frittella, S. - Majer, Ondrej - Nazari, S.
Belief Based on Inconsistent Information.
Dynamic Logic: New Trends and Applications. Cham: Springer, 2020 - (Martins, M.; Sedlár, I.), s. 68-86. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
R&D Projects: GA ČR GA17-04630S; GA ČR(CZ) GA16-15621S
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : Epistemic logics * Non-standard probabilities * Belnap-Dunn logic * Two-layer modal logic
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Philosophy, History and Philosophy of science and technology (FLU-F)
Permanent Link: http://hdl.handle.net/11104/0312523 - 7.0491981 - ÚI 2019 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
Grant - others:AV ČR(CZ) JSPS-16-08
Program: Bilaterální spolupráce
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Permanent Link: http://hdl.handle.net/11104/0285566File Download Size Commentary Version Access a0491981prep.pdf 4 388.6 KB Author’s postprint open-access a0491981.pdf 9 319.1 KB Publisher’s postprint require - 8.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 - 9.0427525 - ÚI 2015 GE eng C - Conference Paper (international conference)
Bílková, Marta - Velebil, J.
A coalgebraic logic for preordered coalgebras.
Tenth Tbilisi Symposium on Language, Logic and Computation. Tbilisi State University, 2013, s. 69-73.
[TbiLLC 2013. International Tbilisi Symposium on Language, Logic and Computation /10./. Gudauri (GE), 23.09.2013-27.09.2013]
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0233053File Download Size Commentary Version Access a0427525.pdf 0 392.3 KB Publisher’s postprint require - 10.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