Similar Items: Linear Temporal Logic for Regular Cost Functions
- Regular Cost Functions, Part I: Logic and Algebra over Words
- The Complexity of Generalized Satisfiability for Linear Temporal Logic
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- Functional Interpretations of Intuitionistic Linear Logic
- The complexity of linear-time temporal logic over the class of ordinals
- Two Variable vs. Linear Temporal Logic in Model Checking and Games