Reasoning about Uncertainty

T_n, see axiom system, T_n

tautology, 243, 249, 250, 253, 258, 271, 293, 312

Teller, P., 116

temporal logic, 285

term (in first-order logic), 366

Thalos, M., 116

Thomason, R. H., 329

three-prisoners puzzle, 10, 82-83, 91-92, 95, 117, 217, 218, 234

time-m event, see event, time-m

Tirole, J., 236

Tiuryn, J., 284

tolerance vector, 400, 424

topological sort, 134

total preorder, see preorder, total

Trakhtenbrot, B. A., 392

transition probability, 206

transitive relation, 190

true, see satisfaction (|=)

Truszczyński, M., 328

truth assignment, 241-242, 249, 294, 307, 320, 358, 359, 372, 374

truth value, 241, 256

Tuttle, M., xiv

Tuttle, M. R., 10, 236

Tversky, A., 187, 433

two-coin problem, 2, 10, 66

two-envelope puzzle, 178-180, 188

two-valued logic, see classical logic