Výsledky vyhledávání
- 1.0584075 - ÚI 2024 eng A3 - Přednáška/prezentace nepublikovaná
Bílková, Marta
Epistemic Logics of Structured Intensional Groups: Agents - groups - names-types.
[TABLEAUX 2023: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /32./. Prague, 18.09.2024-21.09.2024]
Způsob prezentace: Zvaná přednáška
http://tableaux2023.tableaux-ar.org/program.html https://link.springer.com/content/pdf/bfm:978-3-031-43513-3/1?pdf=chapter%20toc
Trvalý link: https://hdl.handle.net/11104/0352080 - 2.0584019 - ÚI 2024 NL eng A - Abstrakt
Sedlár, Igor - Bílková, Marta
Epistemic Logics of Structured Intensional Groups.
14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023): Accepted Contributions. Amsterdam: Tbilisi State University & Georgian Academy of Sciences & University of Amsterdam, 2023.
[TbiLLC 2023: Tbilisi Symposium on Logic, Language and Computation /14./. 18.09.2023-22.09.2023, Telavi]
Institucionální podpora: RVO:67985807
https://events.illc.uva.nl/Tbilisi/Tbilisi2023/uploaded_files/inlineitem/Bilkova_Sedlar.pdf
Trvalý link: https://hdl.handle.net/11104/0352008 - 3.0561178 - ÚI 2023 eng A3 - Přednáška/prezentace nepublikovaná
Bílková, Marta
Many-valued paraconsistent logics for uncertainty.
[North American ASL meeting 2021 - special session D: Algebraic logic. Online, 22.06.2021-25.06.2021]
Způsob prezentace: Zvaná přednáška
Institucionální podpora: RVO:67985807
Trvalý link: https://hdl.handle.net/11104/0333855Název souboru Staženo Velikost Komentář Verze Přístup Annual2021LongProgram_6-23-21.pdf 10 496.2 KB program, Bilkova invited p. 12-13 Vydavatelský postprint povolen - 4.0561177 - ÚI 2023 eng A3 - Přednáška/prezentace nepublikovaná
Bílková, Marta
Belnapian many-valued logics for uncertainty.
[AMS Spring Western Virtual Sectional meeting. Online, 14.05.2022-15.05.2022]
Způsob prezentace: Zvaná přednáška
Pořadatel akce: AMS
URL akce: https://meetings.ams.org/math/spring2022w/meetingapp.cgi/Paper/14269
Institucionální podpora: RVO:67985807
Trvalý link: https://hdl.handle.net/11104/0333854 - 5.0561175 - ÚI 2023 eng A3 - Přednáška/prezentace nepublikovaná
Bílková, Marta
Two-layered Belnapian logics for uncertainty.
[NCMPLK 2021. Non-Classical Modal and Predicate Logics /3./. Bochum, 23.11.2021-26.11.2021]
Způsob prezentace: Zvaná přednáška
URL akce: https://sites.google.com/view/ncmpl2021/home
Institucionální podpora: RVO:67985807
https://sites.google.com/view/ncmpl2021/invited-speakers
Trvalý link: https://hdl.handle.net/11104/0333852 - 6.0561173 - ÚI 2023 eng A3 - Přednáška/prezentace nepublikovaná
Bílková, Marta
Belnapian logics for uncertainty.
[DaLí - Dynamic Logic: new trends and applications. Online, 31.07.2022-01.08.2022]
Způsob prezentace: Zvaná přednáška
URL akce: http://dali2022.campus.ciencias.ulisboa.pt
Institucionální podpora: RVO:67985807
Trvalý link: https://hdl.handle.net/11104/0333851Název souboru Staženo Velikost Komentář Verze Přístup DaLí 22.pdf 5 498.2 KB Jiná povolen - 7.0560834 - ÚI 2023 CZ eng A - Abstrakt
Bílková, Marta
Belnapian logics for uncertainty.
LOGICA 2022. Abstracts. Prague: Institute of Philosophy AS CR, 2022. s. 8-9.
[Logica 2022. 11.09.2022-15.09.2022, Hejnice]
Trvalý link: https://hdl.handle.net/11104/0333613 - 8.0560822 - ÚI 2023 PT eng A - Abstrakt
Bílková, Marta
Two-layered Belnapian logics for uncertainty.
Topology, Algebra and Categories in Logic. Book of Abstracts. Coimbra: University of Coimbra, 2022. s. 1-2.
[TACL 2022. Topology, Algebra and Categories in Logic. 20.06.2022-24.06.2022, Coimbra]
https://www.mat.uc.pt/~tacl2022/#inviteds
Trvalý link: https://hdl.handle.net/11104/0333604 - 9.0535226 - ÚI 2021 DE eng A - Abstrakt
Bílková, Marta
On Infinitary Proof Theory of Logics of Information and Common Belief.
Logic, Language, Information, and Computation. Berlin: Springer, 2019 - (Iemhoff, R.; Moortgat, M.; de Queiroz, R.). xiii-xiii. ISBN 978-3-662-59532-9. ISSN 0302-9743.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. 02.07.2019-05.07.2019, Utrecht]
Institucionální podpora: RVO:67985807
https://link.springer.com/content/pdf/bfm%3A978-3-662-59533-6%2F1.pdf
Trvalý link: http://hdl.handle.net/11104/0313304 - 10.0535222 - ÚI 2021 IT eng A - Abstrakt
Bílková, Marta
Completeness of Logics of Information and Common Belief.
Trends in Logic XVIII Fine-Grained Semantics for Modal Logic: Formal and Foundational Issues. Milano: Università Cattolica del Sacro Cuore, 2018. s. 11-12.
[Trends in Logic /18./. 24.09.2018-27.09.2018, Milano]
Trvalý link: http://hdl.handle.net/11104/0313301