Selfextensional logics with a distributive nearlattice term.

Luciano J. González

Published in: Arch. Math. Log. (2019)

Keyphrases

expressive power
modal logic
real time
data sets
databases
knowledge base
database systems
objective function
co occurrence
graph model
general theory
conditional logic