Axiomatization and Completeness for Some Restricted Second-Order Languages.

Published in: J. Multiple Valued Log. Soft Comput. (2023)

Keyphrases

expressive power
language independent
higher order
cross lingual
decision making
high order
real time
data mining
social networks
pairwise
situation calculus
english text
directional derivatives