Verum o T en modelos lógicos epistémicos dinámicos

He estado leyendo un artículo sobre lógica epistémica dinámica donde usan T de una manera con la que no estoy muy familiarizado. El documento está aquí por Wesley Holliday, página 16: https://pdfs.semanticscholar.org/dae6/739b8b05bf2845f2de41611c3cd0c9ae03d5.pdf

De todos modos así define la noción de una actualización descriptiva de phi, < phi >. Donde < phi >psi es verdadero si, en términos generales, pasamos de un modelo t1 a un modelo t2 phi es verdadero en t1 y psi es verdadero en t2.

En particular, sin embargo, Holliday habla de que < phi >TV <¬ phi > T es válido. Estoy tratando de entender lo que significa el T aquí. No lo define completamente, pero dice que la oración anterior significa que t2 se obtiene de t1 cuando todos se enteran públicamente de si phi se mantiene o no en t1.

Para mayor claridad, he escrito esto en látex:

http://www.texpaste.com/n/k44y21q2

De manera más general, solo quiero saber qué significa que T sea verdadero en un modelo. Parte de la definición involucra algo como (M, t2) modelos T, ¿qué significa eso?

Lo siento si esto no quedó claro, no estoy muy seguro de cómo usar Latex en este intercambio de pila, y me resultó difícil entender partes del documento. Lo he adjuntado arriba con el número de página relevante si eso facilita algo.