Login / Signup

Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.

Dov M. GabbayAndrzej Szalas
Published in: Stud Logica (2007)
Keyphrases
  • higher order
  • markov random field
  • quantifier elimination
  • pairwise
  • temporal information
  • constraint propagation
  • cardinality constraints