Purpose The purpose of this paper is to develop new simple logics and translations for hierarchical model checking …. Hierarchical model checking is a model-checking paradigm that can appropriately verify systems with hierarchical information and … structures. Design/methodology/approach In this study, logics and translations for hierarchical model checking are developed …