Relation Algebras By Games (Volume 147) (Studies In Logic And The Foundations Of Mathematics, Volume 147)

By Ian Hodkinson, Robin Hirsch, R. Hirsch

Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science....

Arthur Lismer'S Drawings For The Humberside Mural

By Ian Hodkinson

Temporal Logic: Mathematical Foundations And Computational Aspects: Volume 2

By Marcelo Finger, Ian Hodkinson, Mark A. Reynolds, Dov M. Gabbay, M Reynolds, M. Finger

This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two dis...

Temporal Logic: Mathematical Foundations And Computational Aspects Volume 1

By Marcelo Finger, Ian Hodkinson, Dov M. Gabbay, Mark Reynolds

We are happy to present the reader with volume 1 of our book on temporal logic. Work on this volume was begun in 1979 by Dov Gabbay, who prepared a draft manuscript [Gabbay, 1981c] which covered ea...

Relation Algebras By Games (Volume 147) (Studies In Logic And The Foundations Of Mathematics, Volume 147)

By Ian Hodkinson, Robin Hirsch, R. Hirsch

Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science....

Charters Towers Central State School, 125th Anniversary, 1875-2000 : I...

By Ian Hodkinson