|
vacuous mass function, see mass function, vacuous
validity, 243, 256, 259, 272, 278, 295
in common-domain epistemic structures, 375
in epistemic structures, 245
for first-order logic, 370-372
for inequality formulas, 259
for propositional logic, 243
and provability, 249
in reliable structures, 247
with respect to class of structures, 246-249
with respect to meas, stat, 381
valuation, 368-370, 371, 374, 375, 390
valuation domain, 162
van Fraassen, B., 116, 117, 119
Vardi, M. Y., xiv, 235-237, 283, 363, 392, 393
variable
bound, 369, 390
free, 369, 390
free occurrence of, 370
variable (in first-order logic), 366
variation distance, 108, 109, 110, 114, 115, 118
Vencovska, A., 430
Venema, Y., 283
veridicality, see axioms and inference rules, Knowledge Axiom (K2)
Verma, T., 147
vocabulary, 139, 240, 421, 424
first-order, 366, 367, 372, 374, 398, 401, 417, 425, 427, 428, 430
of number theory, 367
von Mises, R., 65
Voorbraak, F., 328
Vos, J. de, xiv
vos Savant, M., 10, 236
|