Login / Signup

A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic.

Simon DochertyReuben N. S. Rowe
Published in: TABLEAUX (2019)
Keyphrases
  • propositional dynamic logic
  • dynamic logic
  • modal logic
  • reasoning about actions
  • orders of magnitude
  • model checker
  • software engineering