. . . "3"^^ . . "1"^^ . " game theory" . " proof theory" . . . "2010-12-31+01:00"^^ . "Important results in the study of dynamic aspects of non-classical logics were obtained, especially in epistemic, erotetic, and fuzzy logics. In particular, their dynamic versions, proof-theoretical properties, and game semantics were investigated."@en . . "The aim of the proposed project is to develop a bunch of methods exploiting dynamic approaches to non-classical logics and formal systems in general, to be applied in various disciplines including computer science, analytic philosophy, and linguistics. The project follows two main branches of research: first, we explore general tools regarding: a) dynamic non-classical logics, b) game-theoretical semantics and informational independence, c) proof-theoretical characterizations, complexity aspects, and decidability. Second, we apply these tools in specific discourses: d) interrogative discourse (questions in logic and linguistics), e) deontic and cognitive discourse (applications in artificial inteligence and knowledge representation) f) inferential discourse (applications in philosophy of language and computer science)."@en . . "Bylo dosa\u017Eeno v\u00FDznamn\u00FDch v\u00FDsledk\u016F ve zkoum\u00E1n\u00ED dynamick\u00FDch aspekt\u016F neklasick\u00FDch logik s d\u016Frazem na epistemick\u00E9, erotetick\u00E9 a fuzzy logiky. Byly studov\u00E1ny zejm\u00E9na jejich dynamick\u00E9 verze, d\u016Fkazov\u011B teoretick\u00E9 vlastnosti a hern\u00ED s\u00E9mantiky."@cs . "IAA900090703" . "mathematical logic" . . "http://www.isvav.cz/projectDetail.do?rowId=IAA900090703"^^ . "Dynamick\u00E9 form\u00E1ln\u00ED syst\u00E9my" . "2010-03-09+01:00"^^ . " interrogative discourse" . "mathematical logic, dynamic logic, proof theory, game theory, nonclassical logics, interrogative discourse, fuzzy logic, deontic and epistemic logic, dynamic systems"@en . "2007-01-01+01:00"^^ . . . "22"^^ . "22"^^ . " deontic and epistemic logic" . . " fuzzy logic" . . " dynamic logic" . "2013-06-28+02:00"^^ . "Dynamic Formal Systems"@en . . . . "Z\u00E1m\u011Brem projektu je rozvoj metod zalo\u017Een\u00FDch na dynamick\u00E9m p\u0159\u00EDstupu k neklasick\u00FDm logik\u00E1m a k form\u00E1ln\u00EDm syst\u00E9m\u016Fm obecn\u011B, s ohledem na aplikace v discipl\u00EDn\u00E1ch jako jsou informatika, analytick\u00E1 filosofie a lingvistika. Projekt sleduje dv\u011B hlavn\u00ED linie v\u00FDzkumu: za prv\u00E9 zkoum\u00E1n\u00ED obecn\u00FDch metod a prost\u0159edk\u016F t\u00FDkaj\u00EDc\u00EDch se: a) dynamick\u00FDch neklasick\u00FDch logik, b) hern\u00EDch s\u00E9mantik a informa\u010Dn\u00ED nez\u00E1vislosti, c) d\u016Fkazov\u011B teoretick\u00E9 charakterizace, slo\u017Eitosti a rozhodnutelnosti. Za druh\u00E9 rozpracov\u00E1n\u00ED aplikac\u00ED t\u011Bchto prost\u0159edk\u016F v n\u00E1sleduj\u00EDc\u00EDch oblastech: d) interrogativn\u00ED diskurs (logick\u00E1 a lingvistick\u00E1 anal\u00FDza ot\u00E1zek), e) deontick\u00FD a kognitivn\u00ED diskurs (aplikace v um\u011Bl\u00E9 inteligenci a reprezentaci znalost\u00ED), f) inferencialistick\u00FD diskurs (aplikace ve filosofii jazyka a informatice)." . . . " nonclassical logics" . . . "0"^^ .