An Investigation of Kripke-style Modal Type Theories.

Jason Z. S. Hu Brigitte Pientka

Published in: CoRR (2022)

Keyphrases

modal logic
databases
neural network
database
multi agent
data structure
pairwise
domain knowledge
logic programs