Branching Time Logic, Perfect Information Games and Backward Induction
Keyword(s):
2001 ◽
Vol 36
(1)
◽
pp. 57-73
◽
Keyword(s):
2004 ◽
Vol 20
(1)
◽
pp. 89-115
◽
2017 ◽
Vol 47
(3)
◽
pp. 1001-1032
Keyword(s):
2004 ◽
Vol 32
(3)
◽
pp. 315-338
◽
2008 ◽
pp. 696-707
◽
Keyword(s):