Reasoning about Knowledge
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Kripke semantics for knowledge representation logicsStudia Logica, 1990
- Quantifiers determined by partial orderingsMathematical Logic Quarterly, 1990
- Syntactic decision procedures in information systemsInternational Journal of Man-Machine Studies, 1989
- Logic For Reasoning About KnowledgeMathematical Logic Quarterly, 1989
- Modal logics for knowledge representation systemsLecture Notes in Computer Science, 1989
- Representation of vague informationInformation Systems, 1988
- Logical aspects of learning conceptsInternational Journal of Approximate Reasoning, 1988
- Semantic analysis of inductive reasoningTheoretical Computer Science, 1986
- Rough concepts logicLecture Notes in Computer Science, 1985
- A logic of indiscernibility relationsLecture Notes in Computer Science, 1985