TY - JOUR AU - Leuenberger, Stephan IS - 2 JA - Thought: A Journal of Philosophy PY - 2013 TI - De Jure and De Facto Validity in the Logic of Time and Modality VL - 2 ER -