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).
IM leaders:
Participating institutions:
Institute of Mathematics, AS CR,
Institute of Philosophy AS CR, v.v.i. Department of Logic, FLU AV CR,
Institute of Computer Science AS CR, v.v.i., ÚI AV ČR
Site map | Author | Webmaster
