Logics for some dynamic spaces-I.

Md. Aquil Khan Mohua Banerjee

Published in: J. Log. Comput. (2015)

Keyphrases

topological spaces
approximation spaces
equivalence relation
expressive power
modal logic
propositional dynamic logic
artificial neural networks
rough sets
inference rules
knowledge base
rough set theory
transitive closure
classical logic
proof theory