|
F1–5, see axioms and inference rules, F1–5
Fagin, R., xiv, 10, 66, 67, 117, 118, 235, 236, 283-285, 363, 392, 393
failure set, 333
Falk, R., 10, 117
Fari as del Cerro, L., 147, 285
Feinberg, Y., 285
Feldman, Y., 284, 285
Feller, W., 64
Fierens, P., xiv
filter, 288
Fine, T. L., 68, 146
Finetti, B. de, 65
finite additivity, see additivity, finite
finite-model theorem, 370
FINN, see axioms and inference rules, FINN
first-order conditional logic, see conditional logic, first-order
first-order logic, 7, 240, 365-373, 378, 380, 390, 392, 416
axioms, 370-372, 375-376, 380, 381, 391
semantics, 367-370, 374, 379
syntax, 366-367, 376, 378
Fischer, M. J., 235, 237
Folger, T. A., 10, 119
Fonck, P., 118, 147
formula, atomic, 366
frame
epistemic, 190-192, 251
epistemic lower probability, 223
epistemic probability, 194, 222, 268
probability, 193-195, 199
simple, 193, 251
Frayn, M., 395
free variable, see variable, free
Freund, J. E., 10
Freund, M., 364
Friedman, N., xiv, 68, 147, 328, 329, 364, 393-394
Fudenberg, D., 236
Fuller, R. B., 189
function symbol, 366
fuzzy logic, 40
|