|
K, see axiom system, K
Kn, see axiom system, Kn
K1, see axioms and inference rules, Distribution Axiom (K1)
K2, see axioms and inference rules, Knowledge Axiom (K2)
K3, see axioms and inference rules, Consistency Axiom (K3)
K4, see axioms and inference rules, Positive Introspection Axiom (K4)
K45n, see axiom system, K45n
K5, see axioms and inference rules, Negative Introspection Axiom (K5)
Kaelbling, L. P., 235
Kagel, J. H., 186
Kahneman, D., 187, 433
Katsuno, H., 364
KD45, see axiom system, KD45
KD45n, see axiom system, KD45n
Keeney, R. L., 188
Kemeny, J. G., 116, 235
Kennes, R., 118
Keyal, N., 236
Keynes, J. M., 65, 117
Kleinbaum, D. G., 236
Klir, G. J., 10, 119
KLM properties, 328
Knight, F. H., 186
knowledge and belief, reasoning about, see reasoning about knowledge and belief
knowledge and probability, reasoning about, see reasoning about knowledge and probability
Knowledge Axiom, see axioms and inference rules, Knowledge Axiom (K2)
Knowledge Generalization, see axioms and inference rules, Rule of Knowledge Generalization (Gen)
knowledge, reasoning about, see modal logic
Knuth, D. E., 430
Koller, D., xiv, 329, 394, 429-430
Kouvatsos, D. D., 119
Kozen, D., 285
Kozen, D. C., 284
KP1–3, see axioms and inference rules, KP1–3
Kraitchik, M., 188
Kraus, S., 328
Kreps, D., 186
Kries, J. von, 65
Kripke, S., 283
Kripke structure, see structure, epistemic KT4, see axiom system, KT4
Kullback, S., 119
Kyburg, H. E., 116, 429
|