Login / Signup

S: A Machine Readable Specification Notation based on Higher Order Logic.

Jeffrey J. JoyceNancy A. DayMichael R. Donat
Published in: TPHOLs (1994)
Keyphrases
  • higher order logic
  • higher order
  • conditional logic
  • theorem prover
  • logical framework
  • high level
  • modeling language
  • formal specification
  • human readable
  • belief revision
  • modal logic
  • multi attribute