External links

KATRA: Knowledge, Action and Time – A Relevant Approach

International projects - GACR GC25-17958J [Registered results] 2025 - 2027

Principal Investigator: Mgr. Igor Sedlár, Ph.D.

This project builds upon the previous work of the two principal investigators, aiming to evelop more nuanced models of reasoning about knowledge, time, and action. These models will leverage "relevant logics" that explicitly capture the relevance of information to conclusions drawn.

Reasoning about knowledge, time, and action is fundamental to human cognition. However, current formal models used in analytic philosophy often struggle to capture the nuances of how we reason about these concepts. Based on recent work of the two principal investigators, this project will study formal models of reasoning about knowledge, time and action based on relevant logics. Taking into account the relation of relevance between information and conclusions drawn on its basis, this work will result in more realistic models of reasoning about knowledge, time and action, with immediate impact in analytic philosophy.

We will propose and investigate models of the interplay between knowledge, belief and evidence, we will lay the groundwork for relevant models of reasoning with temporal notions, and we will continue our recent work on relevant models of action and information flow in groups of agents. Our collaborative work will result in publications in top journals and conferences in philosophical logic, and will stimulate international research in the area.