Jika latar belakang Anda adalah CTL ditafsirkan di atas struktur Kripke dan Anda mencari sesuatu yang serupa ditafsirkan di atas LTS, daripada ACTL (CTL berbasis tindakan) bisa menarik.
Kembali pada tahun 1990, R. De Nicola dan F. Vaandrager memperkenalkan ACTL sebagai CTL berbasis tindakan ( Logika versus berbasis negara untuk sistem transisi , Semantik Sistem Proses Bersamaan (1990), hlm. 407-419). Ini telah dipelajari lebih lanjut pada tahun 1993 (R. De Nicola, A. Fantechi, S. Gnesi, G. Ristori: Kerangka Kerja Berbasis Tindakan untuk Memverifikasi Properti Logikal dan Perilaku dari Sistem Bersamaan , Jaringan Komputer dan Sistem ISDN, Vol. 25, No. 7., hlm. 761-778.) Dan yang lebih baru pada tahun 2008 (R. Meolic, T. Kapus, Z. Brezočnik: ACTLW - Logika Pohon Perhitungan Berbasis Aksi Dengan Kecuali Operator , Ilmu Informasi, 178 (6) , hlm. 1542-1557.)
Gagasan utama ACTL (jangan dikelirukan dengan subset CTL dengan akronim yang sama) adalah memiliki operator yang sama dan algoritma yang sama untuk pengecekan model seperti pada CTL. Selain itu, operator didefinisikan oleh ekspresi titik tetap analog dengan yang digunakan untuk CTL. Kompleksitas (saya tidak yakin tentang ekspresif) dari ACTL adalah suatu tempat antara HML dan modal proposisional μ-kalkulus.