Correction to: Detecting bots with temporal logic
Abstract
After publication, the authors have found a mistake in the proof of Theorem 1.As a result, the following changes should be made. On page 3, paragraph 4We discuss similarities between TNL and existing logics, such as linear-time temporal logic and tense logic, and show that TNL is sound and weakly complete by combining axioms from existing axiomatic systems. Should beWe discuss similarities between TNL and existing logics, such as linear-time temporal logic and tense logic.On page 3, paragraph 5, the following sentence no longer applies: We also present a sound and weakly complete axiomatization of TNL.
Fields of Study & Subjects
Spam and Phishing Detection
Network Security and Intrusion Detection
Advanced Malware Detection Techniques
Publication details
- Journal / source
- Synthese
- Volume
- 207
- Issue
- 1
- Publication date
- 5 January 2026
- Language
- EN