Agreeing theorem in an S-4 logic model (Algebraic Systems, Formal Languages and Computations)
スポンサーリンク
概要
著者
関連論文
- Reasoning about Dominant Actions : Logic of Decision Theory II : Game Theory (Mathematical Economics)
- Payoff Improvement of Measurable $\alpha$-Cores through Communications (Mathematical Economics)
- No trade theorem in an S-4 logic model (Algebraic Semigroups, Formal Languages and Computation)
- Agreeing theorem in an S-4 logic model (Algebraic Systems, Formal Languages and Computations)