A Comparison of Solvers for Propositional Dynamic Logic

11 pages•Published: May 16, 2012

Abstract

Calculi for propositional dynamic logics have been investigated since the introduction of this logic in the late seventies. Only in recent years have practical procedures been suggested and implemented. In this paper, we compare three such systems, namely, the Tableau Workbench by Abate, Gore, and Widmann (2009), the pdlProver system by Gore and Widmann (2009), and the MLSolver system by Friedmann and Lange (2009).

Keyphrases: benchmarking, decision procedures, propositional dynamic logic

In: Renate A. Schmidt, Stephan Schulz and Boris Konev (editors). PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, vol 9, pages 63-73.

Links:	https://easychair.org/publications/paper/7Cj
	https://doi.org/10.29007/63hq

BibTeX entry

@inproceedings{PAAR-2010:Comparison_Solvers_Propositional_Dynamic,
  author    = {Ullrich Hustadt and Renate A. Schmidt},
  title     = {A Comparison of Solvers for Propositional Dynamic Logic},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/7Cj},
  doi       = {10.29007/63hq},
  pages     = {63-73},
  year      = {2012}}

Download PDF Open PDF in browser