Login / Signup

Propositional Dynamic Logic with Program Quantifiers.

Daniel Leivant
Published in: MFPS (2008)
Keyphrases
  • propositional dynamic logic
  • dynamic logic
  • reasoning about actions
  • data sets
  • information systems
  • natural language
  • first order logic
  • objective function
  • computer programs
  • java programs
  • program execution