Corpus ID: 15187708

Tableaux for Dynamic Logic of Propositional Assignments

@article{Lima2014TableauxFD,
  title={Tableaux for Dynamic Logic of Propositional Assignments},
  author={T. D. Lima and A. Herzig},
  journal={ArXiv},
  year={2014},
  volume={abs/1406.2161}
}
The Dynamic Logic for Propositional Assignments (DL-PA) has recently been studied as an alternative to Propositional Dynamic Logic (PDL). In DL-PA, the abstract atomic programs of PDL are replaced by assignments of propositional variables to truth values. This makes DL-PA enjoy some interesting meta-logical properties that PDL does not, such as eliminability of the Kleene star, compactness and interpolation. We define and analytic tableaux calculus for DL-PA and show that it matches the known… Expand

References

SHOWING 1-10 OF 13 REFERENCES
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
Propositional Dynamic Logic of Regular Programs
A Comparison of Solvers for Propositional Dynamic Logic
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
A Dynamic Logic of Normative Systems
...
1
2
...