The interdefinability of expansions of Belnap-Dunn logic.

Cornelis A. Middelburg

Published in: CoRR (2024)

Keyphrases

logical framework
logic programming
modal logic
classical logic
data mining
search engine
computer vision
information retrieval
artificial intelligence
social networks
image processing
epistemic logic
logical operations
coalition logic