---
title: "Using Strategic Logics to Reason about Agent Programs"
authors:
  - "Nitin Yadav"
  - "Sebastian Sardiña"
doi: ""
url: "https://ijcai.org/proceedings/2013/465"
pdf: "https://ijcai.org/proceedings/2013/0465.pdf"
venue: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence"
year: 2013
pages: "3101-3104"
track: ""
keywords:
---

# Using Strategic Logics to Reason about Agent Programs

Nitin Yadav, Sebastian Sardiña

*Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence*, pages 3101-3104.

## Abstract

We propose a variant of Alternating-time Temporal Logic (ATL) grounded in the agents' operational know-how, as defined by their libraries of abstract plans. In our logic, it is possible to refer to rational strategies for agents developed under the Belief-Desire-Intention agent paradigm. This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.