Výsledky vyhledávání
- 1.0491981 - ÚI 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
Grant ostatní: AV ČR(CZ) JSPS-16-08
Program: 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
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Trvalý link: http://hdl.handle.net/11104/0285566Název souboru Staženo Velikost Komentář Verze Přístup a0491981prep.pdf 4 388.6 KB Autorský postprint povolen a0491981.pdf 9 319.1 KB Vydavatelský postprint vyžádat - 2.0479305 - FLÚ 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
A general framework for logics of questions.
The Logica Yearbook 2016. London: College Publications, 2017 - (Arazim, P.; Lávička, T.), s. 223-238. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: inquisitive semantics * logic of questions * substructural logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0275513 - 3.0478934 - FLÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Punčochář, Vít
Substructural logics for pooling information.
Logic, Rationality, and Interaction. Berlin: Springer, 2017 - (Baltag, A.; Yamada, T.; Seligman, J.), s. 407-421. Lecture Notes in Computer Science, 10455. ISBN 978-3-662-55664-1. ISSN 0302-9743.
[LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./. Sapporo (JP), 11.09.2017-14.09.2017]
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: distributed knowledge * information pooling * substrucural logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0275400 - 4.0478657 - ÚI 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Přenosil, Adam
Contradictory Information as a Basis for Rational Belief.
Logic, Rationality, and Interaction. Berlin: Springer, 2017 - (Baltag, A.; Yamada, T.; Seligman, J.), s. 151-165. Lecture Notes in Computer Science, 10455. ISBN 978-3-662-55664-1. ISSN 0302-9743.
[LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./. Sapporo (JP), 11.09.2017-14.09.2017]
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985807
Klíčová slova: Paraconsistent logic * Belnap–Dunn logic * Non-monotonic logic * Non-reflexive logic * Belief revision
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0274724Název souboru Staženo Velikost Komentář Verze Přístup a0478657.pdf 1 396.3 KB Vydavatelský postprint vyžádat - 5.0477326 - FLÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Substructural logics with a reflexive transitive closure modality.
Logic, Language, Information, and Computation. Berlin: Springer, 2017 - (Kennedy, J.; de Queiroz, R.), s. 349-357. Lecture Notes in Computer Science, 10388. ISBN 978-3-662-55385-5. ISSN 0302-9743.
[International Workshop, WoLLIC 2017 /24./. London (GB), 18.07.2017-21.07.2017]
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: substructural logics * modal logic * reflexive transitive closure * intuitionistic modal logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0273701 - 6.0477325 - FLÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Knowledge is a Diamond.
Logic, Language, Information, and Computation. Berlin: Springer, 2017 - (Kennedy, J.; de Queiroz, R.), s. 304-320. Lecture Notes in Computer Science, 10388. ISBN 978-3-662-55385-5. ISSN 0302-9743.
[International Workshop, WoLLIC 2017 /24./. London (GB), 18.07.2017-21.07.2017]
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: epistemic logic * substructural logic * knowledge
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0273700