0431413 - ÚI 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, CarlesModal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
Logic, Language, Information, and Computation. Heidelberg: Springer, 2014 - (Kohlenbach, U.; Barceló, P.; de Queiroz, R.), s. 124-136. Lecture Notes in Computer Science, 8652. ISBN 978-3-662-44144-2. ISSN 0302-9743.
[WoLLIC 2014. International Conference /21./. Valparaíso (CL), 01.09.2014-04.09.2014]
Grant CEP: GA ČR GAP202/10/1826
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
Kód oboru RIV: BA - Obecná matematika; BB - Aplikovaná statistika, operační výzkum (UTIA-B)
Trvalý link: http://hdl.handle.net/11104/0235975