A New First Order Expansion Formula with a Reduced Remainder.

Joël Chaskalovic Hessam Jamshidipour

Published in: Axioms (2022)

Keyphrases

linear temporal logic
universally quantified
horn clauses
higher order
first order logic
significantly reduced
logic programs
temporal logic
multiscale
lower bound
query language
mathematical formulas
quantifier elimination
stochastic dominance
loop formulas