หากพื้นหลังของคุณแปล CTL ผ่านโครงสร้าง Kripke และคุณมองหาสิ่งที่ตีความคล้าย LTSs กว่า ACTL (Action-based CTL) อาจน่าสนใจ
ย้อนกลับไปในปี 2533 R. De Nicola และ F. Vaandrager ได้แนะนำ ACTL ในฐานะ CTL แบบแอ็คชั่น ( การกระทำกับ logics ตามสถานะสำหรับระบบช่วงการเปลี่ยนภาพความหมายของระบบของกระบวนการที่เกิดขึ้นพร้อมกัน (1990), pp 407-419) มันได้รับการศึกษาเพิ่มเติมในปี 1993 (R. De Nicola, A. Fantechi, S. Gnesi, G. Ristori: กรอบการทำงานแบบ Action-Based สำหรับการตรวจสอบคุณสมบัติเชิงตรรกะและพฤติกรรมของระบบที่เกิดขึ้นพร้อมกันเครือข่ายคอมพิวเตอร์และระบบ ISDN, เล่มที่ 25 ลำดับ 7, pp. 761-778.) และอีกไม่นานในปี 2551 (ร. Meolic, T. Kapus, Z. Brezočnik: ACTLW - การคำนวณแบบลอจิกแอคชั่นทรีแอคชั่นที่ไม่มีผู้ปฏิบัติงาน, วิทยาศาสตร์ข้อมูล, 178 (6) , pp. 1542-1557)
แนวคิดหลักของ ACTL (เพื่อไม่ให้สับสนกับส่วนย่อยของ CTL ที่มีตัวย่อเดียวกัน) คือการมีตัวดำเนินการที่คล้ายกันและอัลกอริทึมที่คล้ายกันสำหรับการตรวจสอบรูปแบบเช่นเดียวกับ CTL ยิ่งกว่านั้นตัวดำเนินการจะถูกกำหนดโดยนิพจน์จุดคงที่แบบอะนาล็อกกับที่ใช้สำหรับ CTL ความซับซ้อน (ฉันไม่แน่ใจเกี่ยวกับความอุตสาหะ) ของ ACTL อยู่ระหว่าง HML และแคลคูลัสเชิงประพจน์μ-แคลคูลัสเชิงประพจน์