temporal logic and poker...

[axioma]

not probability but still the best forum here for this post i suppose.

im thinking about a possible investigation into applying temporal logic techniques to poker theory. seems to me it is very applicable.

ive worked a fair bit so far with temporal logic and automata theory, would be nice to work poker into the mix somehow.

anyone seen anything simalar, or have any input into the matter?

just as a quick note:

temporal aspects of the game obviously exist in the porgession of the rounds, and to a lesser extent the progression of each round ie betting order.

modal properties of posibility/necessity etc can also be expressed.

[Mike Haven]

please explain "porgession"

[axioma]

ohh no, a typo! [img]/images/graemlins/shocked.gif[/img]