Model theory of monadic predicate logic with the infinity quantifier.

Facundo Carreiro Alessandro Facchini Yde Venema Fabio Zanasi

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

Keyphrases

computational model
theoretical framework
predicate logic
formal model
information retrieval
state space