Login / Signup

A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow.

Brandon BohrerAndré Platzer
Published in: LICS (2018)
Keyphrases
  • information flow
  • dynamic logic
  • expert systems
  • communication networks
  • belief revision
  • modal logic
  • dynamic aspects