On the Expressive Power of Modal Logics on Trees

On Expressive and Model Checking Power of Propositional Program Logics

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Model checking

Handbook of automated reasoning

Arity hierarchy for temporal logics

Theoretical Computer Science

Querying Linguistic Trees

Journal of Logic, Language and Information