Ladda ner Linnk AI
•
Forskningsassistent
>
Logga in
insikt
-
一般的な同時ゲームモデルにおける連立論理の完全性
一般的な同時ゲームモデルにおける連立論理の完全性
一般的な同時ゲームモデルにおける連立論理の完全性を示した。シリアル性、代理人の独立性、決定性といった3つの強い仮定を緩和した上で、8つの連立論理の完全性を統一的なアプローチで証明した。
1