Login / Signup

The Complexity of the Validity Problem for Dynamic Logic

Kenneth L. MandersRobert R. Daley
Published in: Inf. Control. (1982)
Keyphrases
  • dynamic logic
  • computational complexity
  • neural network
  • modal logic
  • database
  • expert systems
  • worst case
  • space complexity
  • imperative programs
  • real time
  • multi dimensional
  • agent programming
  • classical first order logic