0431413 - ÚI 2015 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
EU Projects: European Commission(XE) 247584 - MATOMUVI
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
Subject RIV: BA - General Mathematics; BB - Applied Statistics, Operational Research (UTIA-B)
Permanent Link: http://hdl.handle.net/11104/0235975
