The logic of partial information /
Збережено в:
| Автор: | |
|---|---|
| Формат: | Книга |
| Мова: | English |
| Опубліковано: |
Berlin ; New York :
Springer,
c1995.
|
| Серія: | Monographs in theoretical computer science
|
| Предмети: |
Зміст:
- 1. Introduction
- 2. Partial Propositional Logic
- 3. Syntax of the Language of Partial Information Ions
- 4. Reasoning with Partial Information Ions: An Overview
- 5. Semantics of Partial Information Logic of Rank 1
- 6. Semantics of Partial Information Logic of Infinite Rank
- 7. Algebraic Properties of Partial Information Ionic Logic
- 8. Beth Tableaux for Propositional Partial Information Ionic Logic
- 9. Applications; the Statics of Logic Systems
- 10. Naive Axiomatics and Proof Theory of Propositional Partial Information Ionic Logic
- 11. Soundness of Propositional Partial Information Ionic Logic
- 12. Formal Axiomatics of Propositional Partial Information Ionic Logic
- 13. Extension and Justification Closure Approach to Partial Information Ionic Logic
- 14. Partial First-Order Logic
- 15. Syntax and Semantics of First-Order Partial Information Ions
- 16. Beth Tableaux for First-Order Partial Information Ions.
- 17. Axiomatics and Proof Theory of First-Order Partial Information Ionic Logic
- 18. Partial Information Ionic Logic Programming
- 19. Syntactic and Semantic Paths; Application to Defeasible Inheritance
- 20. The Frame Problem: The Dynamics of Logic Systems
- 21. Reasoning About Actions: Projection Problem
- 22. Reasoning About Actions: Explanation Problem.