Moss' logic for ordered coalgebras.

Marta Bílková Matej Dostál

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

logic programming
modal logic
classical logic
predicate logic
probabilistic logic
formal theory
real world
information retrieval
learning algorithm
artificial intelligence
knowledge base
data structure
search algorithm
ordered sets
sound and complete axiomatization