0505159 - ÚI 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, IgorSubstructural propositional dynamic logics.
Logic, Language, Information, and Computation. Berlin: Springer, 2019 - (Iemhoff, R.; Moortgat, M.; de Queiroz, R.), s. 594-609. Lecture Notes in Computer Science, 11541. ISBN 978-3-662-59532-9. ISSN 0302-9743.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. Utrecht (NL), 02.07.2019-05.07.2019]
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: Lambek calculus * Modal logic * Propositional dynamic logic * Relevant logic * Substructural logic
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0296659