Login / Signup

Propositional Dynamic Logic of Looping and Converse

Robert S. Streett
Published in: STOC (1981)
Keyphrases
  • propositional dynamic logic
  • reasoning about actions
  • dynamic logic
  • hidden state
  • arbitrarily complex
  • text classification
  • logic programming