Login / Signup

A Consistent Propositional Logic Without any Finite Models.

C. G. McKay
Published in: J. Symb. Log. (1985)
Keyphrases
  • propositional logic
  • first order logic
  • belief revision
  • lattice theory
  • np complete
  • belief change
  • quantified boolean formulae