z

Sedlár Igor

Publikace ASEP

RIV ID 3351145               

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

Nalezeno záznamů: 2

0478934 - FLU-F 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
Kód oboru RIV: AA - Filosofie a náboženství
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý odkaz: http://hdl.handle.net/11104/0275400

0477326 - FLU-F 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
Kód oboru RIV: AA - Filosofie a náboženství
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý odkaz: http://hdl.handle.net/11104/0273701