Logic and Topology for Knowledge, Knowability, and Belief.

Adam Bjorndahl Aybüke Özgün

Published in: Rev. Symb. Log. (2020)

Keyphrases

knowledge acquisition
modal operators
prior knowledge
knowledge representation
modal logic
knowledge extraction
reasoning engine
dynamic epistemic logic
machine learning
e learning
expert systems
domain knowledge
knowledge sharing
belief functions
predicate logic
deductive reasoning