Universal   (x)
Existencial   Ex
Existencial con unicidad E1x, E!x

Posibilidad    Mp, Px
Necesidad    Lp, #p, Np
Implicación estricta  p/q
Equivalencia estricta  p=q

Pasado   Pp, Yp
Futuro    Fp, Tp
Siempre será   Gp
Siempre ha sido  Hp

Sabe n que p   Knp
Implicación epistémica   p En q
Cree n que p   Bnp
Actúa n como si p  Anp
No cree n que no p  Dnp,  p

Permisible   Pp
Obligatorio   Op

Basado en el Dictionary of Logical Terms and Symbols, Carol Horn Greenstein (Van Nostrand Reinhold, 1978), y en el Dictionary of Logic as Applied in the Study of Language, editor Witold Marciszewki (Martinus Nijhoff, 1981).