| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - 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)
- 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ěchto prostř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 jazyka a informatice).
|
| Title
| - Dynamic Formal Systems (en)
- Dynamické formální systémy
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| - mathematical logic, dynamic logic, proof theory, game theory, nonclassical logics, interrogative discourse, fuzzy logic, deontic and epistemic logic, dynamic systems (en)
|
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...lneniVMinulemRoce
| |
| http://linked.open.../prideleniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...ep/ukonceniReseni
| |
| http://linked.open.../cep/vedlejsiObor
| |
| http://linked.open...ep/zahajeniReseni
| |
| http://linked.open...jektu+dodavatelem
| - Bylo dosaženo významných výsledků ve zkoumání dynamických aspektů neklasických logik s důrazem na epistemické, erotetické a fuzzy logiky. Byly studovány zejména jejich dynamické verze, důkazově teoretické vlastnosti a herní sémantiky. (cs)
- 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)
|
| http://linked.open...tniCyklusProjektu
| |
| http://linked.open.../cep/klicoveSlovo
| - mathematical logic
- deontic and epistemic logic
- dynamic logic
- fuzzy logic
- game theory
- interrogative discourse
- nonclassical logics
- proof theory
|
| is http://linked.open...vavai/cep/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)