Login / Signup

Decidable first-order transition logics for PA-processes.

Denis LugiezPhilippe Schnoebelen
Published in: Inf. Comput. (2005)
Keyphrases
  • first order logic
  • expressive power
  • conditional logic
  • higher order
  • inference rules
  • classical first order logic
  • valued logic
  • knowledge representation
  • integrity constraints
  • modal logic
  • transition model