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

Simon Docherty Reuben N. S. Rowe

Published in: CoRR (2019)

Keyphrases

propositional dynamic logic
dynamic logic
modal logic
reasoning about actions
intuitionistic logic
databases
web services
model checker
sequent calculus
cut elimination