Ian Hodkinson
3 published titles
Temporal logic : mathematical foundations and computational aspects
(Contributor)
1 edition
- ISBN: 0198537697
- Clarendon.
- 1994
- Details
Relation algebras by games
(Contributor)
1 edition
- ISBN: 0444509321
- Elsevier
- 2002
- Details
Advances in modal logic. Vol. 6
(Contributor)
1 edition
- ISBN: 1904987206
- College Publications
- 2006
- Details
