Temporal logics with language parameters (Q2232279)

From MaRDI portal