Logic and games create a scientifically interesting space of mutual interactions and unveil their profound mutual and many-dimensional relationships. On the one hand, games between two players became a convenient description and explanation perspective in many branches of classical and non-classical logic.
This Research Topic calls for the newest advancements under the banner "Logic and Games - The Spaces of Mutual
Interactions" to create a common communication platform for both theoreticians and practitioners working on different aspects of logic and game theory and their applications in the area of logic, computer science, mathematics, economy, and the close-related areas. It will provide a platform for exchanging ideas among scientists: mathematicians, logicians, computer scientists, experts in the economy, specialists in AI and knowledge engineering, and experts in soft computing.
This article collection invites all original contributions in these areas. These include, but are not limited, to the following ones:
• Modelling of games and preferences
• Logic and games in the problem of optimal choices
• The Nash Equilibrium-inspired games in logic
• Logic of best actions, its modifications
• Epistemic logic with backward induction
• Games in Knowledge Representation and other areas of AI
• The game-theoretic and behavioral semantics
• Games and bisimulations
• Games in algebraic treatment
Keywords:
Logic, Games, Mutual Interactions, Epistemic Logic, Logic of Actions, Optimal choices, game-theoretic semantics
Important Note:
All contributions to this Research Topic must be within the scope of the section and journal to which they are submitted, as defined in their mission statements. Frontiers reserves the right to guide an out-of-scope manuscript to a more suitable section or journal at any stage of peer review.
Logic and games create a scientifically interesting space of mutual interactions and unveil their profound mutual and many-dimensional relationships. On the one hand, games between two players became a convenient description and explanation perspective in many branches of classical and non-classical logic.
This Research Topic calls for the newest advancements under the banner "Logic and Games - The Spaces of Mutual
Interactions" to create a common communication platform for both theoreticians and practitioners working on different aspects of logic and game theory and their applications in the area of logic, computer science, mathematics, economy, and the close-related areas. It will provide a platform for exchanging ideas among scientists: mathematicians, logicians, computer scientists, experts in the economy, specialists in AI and knowledge engineering, and experts in soft computing.
This article collection invites all original contributions in these areas. These include, but are not limited, to the following ones:
• Modelling of games and preferences
• Logic and games in the problem of optimal choices
• The Nash Equilibrium-inspired games in logic
• Logic of best actions, its modifications
• Epistemic logic with backward induction
• Games in Knowledge Representation and other areas of AI
• The game-theoretic and behavioral semantics
• Games and bisimulations
• Games in algebraic treatment
Keywords:
Logic, Games, Mutual Interactions, Epistemic Logic, Logic of Actions, Optimal choices, game-theoretic semantics
Important Note:
All contributions to this Research Topic must be within the scope of the section and journal to which they are submitted, as defined in their mission statements. Frontiers reserves the right to guide an out-of-scope manuscript to a more suitable section or journal at any stage of peer review.