Now showing items 41-50 of 27
Infra-classical (1) |
Infra-classical entailment (1) |
Kernel (1) |
KLM approach (1) |
KLM-Style (1) |
Knowledge base (1) |
Language (1) |
Lexicographic closure (1) |
Modal logics (1) |
Model semantics (1) |
Now showing items 41-50 of 27