Mereological Bimodal Logics.

Dazhu Li Yanjing Wang

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

Keyphrases

spatial reasoning
modal logic
expressive power
nonmonotonic logics
propositional calculus
inference rules
classical logic
real time
epistemic logic
neural network
palmprint
conditional logic