A logic for finite games /
A formalism and calculus is presented for the treatment of a normal modal logic with two principal operators: 'necessarily next' and 'necessarily prior'. The formalism is proposed as an efficient means of representing classes of game configurations for a broad range of finite gam...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1991
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61217 |