\n The aim of this workshop is to explore the co nnections between\n traditional TARK topics and Quantum Physics. While TARK\n traditio nally focuses on the theoretical aspects of\n rationality and knowledge, quantum mechanics an d quantum\n computation focus on the fundam ental link between physical\n reality and i nformational (knowledge-acquiring) actions, such\n as observations and measurements. We think one can gain new\n insights from combining methods and concepts coming from these\n t wo lines of research. On the one hand, we are inte rested in\n how techniques from quantum phy sics can help us reason about\n knowledge o r rational decision making. On the other hand, we \n are interested in how the logical and ga me-theoretical\n techniques traditionally a ssociated with TARK (coming from\n epistemi c logic, belief revision, dynamic logic, temporal\ n logic, probabilistic learning, resource-s ensitive logics,\n epistemic game theory, d ecision-theoretic methods etc.) can be\n us ed to formalize physical theories, reason about th eir\n concepts or their applications, and p rovide some principled\n understanding of t heir foundations.\n
\n\n
Topics of interest include but are not limited to:
\n classical correlations versus quan
tum correlations;
\n classical games v
ersus quantum games;
\n classical info
rmation flow versus quantum information flow;
\n logical methods for quantum computation
;
\n quantum logic and its relation to
logics of knowledge and action;
\n th
e use of quantum methods and concepts in decision
theory, game theory and logic;
\n game-
theoretical logical semantics and foundations of q
uantum mechanics.\n
\n \n Main Website: http: //www.ai.rug.nl/conf/quantumTARK/\n
\ n