A Proof of Kamp's theorem
arXiv:1401.2580 · doi:10.2168/LMCS-10(1:14)2014
Abstract
We provide a simple proof of Kamp's theorem.
Cited by in corpus (7)
- First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic
- Regular omega-Languages with an Informative Right Congruence
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
- A Formal Language Approach to Explaining RNNs
- Intuitionistic Linear Temporal Logics
- Handling of Past and Future with Phenesthe+
- A Proof of Stavi's Theorem