2010/77/3-4 (2) — DOI: 10.5486/PMD.2010.4686 — pp. 277-297
Full Text Abstract

A family of temporal logics on finite trees

Authors: Zoltán Ésik and Szabolcs Iván

Keywords: branching time future temporal logics, Ehrenfeucht-Fraissé games, strict Moore-product

Mathematics Subject Classification: 03B44, 68Q70, 91A40