Disjunction and existence Properties in Modal Arithmetic.

Taishi Kurahashi Motoki Okuda

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

Keyphrases

desirable properties
data mining
modal logic
topological properties
databases
search engine
decision making
web pages
artificial neural networks