Login / Signup
Model Theory of Monadic Predicate Logic with the Infinity Quantifier.
Facundo Carreiro
Alessandro Facchini
Yde Venema
Fabio Zanasi
Published in:
CoRR (2018)
Keyphrases
</>
computational model
probability distribution
theoretical framework
formal model
predicate logic
artificial intelligence
domain specific
knowledge representation and reasoning