Help

Sedlár Igor

ASEP Publications

RIV ID 3351145
Select all / Display all years / Unmark

Select all / Display all / Unmark

Records found: 2

0478934 - FLÚ 2018 RIV DE eng C - Proceedings Paper (International conf.)
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]
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional Support: RVO:67985955
Keywords: distributed knowledge * information pooling * substrucural logics
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0275400

0477326 - FLÚ 2018 RIV DE eng C - Proceedings Paper (International conf.)
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]
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional Support: RVO:67985955
Keywords: substructural logics * modal logic * reflexive transitive closure * intuitionistic modal logic
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0273701