Monodic fragments of first-order temporal logics: 2000-2001 A.D.

by Ian Hodkinson , Frank Wolter , Michael Zakharyaschev
Citations:48 - 8 self