Reasoning about knowledge
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Computable analysis: an introduction
Computable analysis: an introduction
Modal logic
Knowledge Theoretic Properties of Topological Spaces
International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
| Hi-index | 0.00 |
We start investigating set algebras from a knowledge theoretical point of view. To this end, we suit hybrid logic to the context of knowledge. The common modal approach is extended in this way, which gives us the necessary expressive power. The main issues of the paper are a completeness and a decidability result for the arising logic of knowledge on algebras.