This dataset contains 1000 synthetically generated problems designed to test logical reasoning capabilities, specifically within the framework of the deliberative 'seeing-to-it-that' (dstit) logic of agency, as axiomatized by Ming Xu (1998) and further analyzed using sequent calculus (G3) in Negri and Pavlović (2020).
Each problem presents a scenario involving agents, their actions (or inactions), and… See the full description on the dataset page: https://huggingface.co/datasets/xentau/dstit.
