Dynamic Formal Systems
Public support
Provider
Academy of Sciences of the Czech Republic
Programme
Grants of distinctly investigative character focused on the sphere of research pursued at present particularly in the Academy of Sciences of the Czech Republic
Call for proposals
Výzkumné granty 7 (SAV02007-A)
Main participants
—
Contest type
VS - Public tender
Contract ID
IAA900090703
Alternative language
Project name in Czech
Dynamické formální systémy
Annotation in Czech
Záměrem projektu je rozvoj metod založených na dynamickém přístupu k neklasickým logikám a k formálním systémům obecně, s ohledem na aplikace v disciplínách jako jsou informatika, analytická filosofie a lingvistika. Projekt sleduje dvě hlavní linie výzkumu: za prvé zkoumání obecných metod a prostředků týkajících se: a) dynamických neklasických logik, b) herních sémantik a informační nezávislosti, c) důkazově teoretické charakterizace, složitosti a rozhodnutelnosti. Za druhé rozpracování aplikací těchtoprostředků v následujících oblastech: d) interrogativní diskurs (logická a lingvistická analýza otázek), e) deontický a kognitivní diskurs (aplikace v umělé inteligenci a reprezentaci znalostí), f) inferencialistický diskurs (aplikace ve filosofii jazykaa informatice).
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
AA - Philosophy and religion
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>60301 - Philosophy, History and Philosophy of science and technology<br>60302 - Ethics (except ethics related to specific subfields)<br>60303 - Theology<br>60304 - Religious studies
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
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.
Solution timeline
Realization period - beginning
Jan 1, 2007
Realization period - end
Dec 31, 2010
Project status
U - Finished project
Latest support payment
Mar 9, 2010
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP11-AV0-IA-U/02:2
Data delivery date
Jun 28, 2013
Finance
Total approved costs
4,479 thou. CZK
Public financial support
4,479 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK