Dataset
Data for Linguistic Theories Coincide with Misformalization in Temporal Logic
03 Sep 2025
Abstract
Data accompanying the ASE NIER 2025 paper "Linguistic Theories Coincide with Misformalization in Temporal Logic."
This is further annotation of the data from Greenman et al.'s "Little Tricky Logic: Misconceptions in the Understanding of LTL" (https://doi.org/10.22152/programming-journal.org/2023/7/7), whose original data is also public (https://doi.org/10.5281/zenodo.6988909).
This dataset extends the data from the English-to-LTL results of their rounds 3 and 4 with annotations related to possible pragmatic influences on incorrect translations by participants. See sheets "r3 EL" and "r4 EL" for the additional columns underlying the ASE NIER publication above.
Note: the annotations use the word "generics" while the paper uses the more specific term "habitual" (roughly, a sort of generics particular to time).
Metrics
13 Record Views
Details
- Title
- Data for Linguistic Theories Coincide with Misformalization in Temporal Logic
- Creators
- Colin Gordon - Drexel University
- Publisher
- Zenodo
- Grant note
- SHF:Small:Closing the Specification Gap with Logic and Linguistics - 2220991 / U.S. National Science Foundation (10.13039/100000001)
- Resource Type
- Dataset
- Language
- English
- Academic Unit
- Computer Science
- Other Identifier
- 991022087475504721