Một số lý thuyết logic có cơ sở trong ngữ nghĩa trò chơi. Ngoài ra, các nhà khoa học máy tính đã sử dụng trò chơi để mô hình hóa các tính toán tương tác. Ngoài ra, lý thuyết trò chơi cung cấp cơ sở lý thuyết cho lĩnh vực hệ thống đa đại lý. Ngoài ra, lý thuyết trò chơi đã đóng một vai trò trong các thuật toán trực tuyến; đặc biệt, vấn đề k-server, trong quá khứ được gọi là trò chơi với chi phí di chuyển và trò chơi yêu cầu-phản hồi. Nguyên tắc Yao là một kỹ thuật lý thuyết trò chơi để chứng minh các giới hạn thấp hơn về độ phức tạp tính toán của các thuật toán ngẫu nhiên, đặc biệt là các thuật toán trực tuyến. Câu hỏi
ngữ nghĩa trò chơi