Provability Games for Non-classical Logics.

Alexandra Pavlova

Published in: WoLLIC (2021)

Keyphrases

computer games
educational games
game theory
video games
game play
database
game theoretic
learning games
game design
digital games
mixed strategy
perfect information
coalitional games
stochastic games
game development
online game
game playing
nash equilibrium
programming language
search engine
neural network
real time