A Comparison of Solvers for Propositional Dynamic Logic

Boris Konev; Renate  A Schmidt; Stephan Schulz

A Comparison of Solvers for Propositional Dynamic Logic

Boris Konev (Editor), Renate A Schmidt (Editor), Stephan Schulz (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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).

Original language	English
Title of host publication	PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
Editors	Boris Konev, Renate A Schmidt, Stephan Schulz
Publisher	EasyChair
Pages	60-69
Number of pages	10
Volume	9
ISBN (Print)	2040-557X
Publication status	Published - 2012
Event	Second International Workshop on Practical Aspects of Automated Reasoning (PAAR-2010) - Edinburgh Duration: 14 Jul 2010 → 14 Jul 2010

Publication series

Name	EPiC Series

Conference

Conference	Second International Workshop on Practical Aspects of Automated Reasoning (PAAR-2010)
City	Edinburgh
Period	14/07/10 → 14/07/10

Cite this

@inproceedings{e91cb5805362447db319bf3717596db5,

title = "A Comparison of Solvers for Propositional Dynamic Logic",

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).",

author = "Boris Konev and Schmidt, {Renate A} and Stephan Schulz",

year = "2012",

language = "English",

isbn = "2040-557X",

volume = "9",

series = "EPiC Series",

publisher = "EasyChair",

pages = "60--69",

editor = "Boris Konev and Schmidt, {Renate A} and Stephan Schulz",

booktitle = "PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning",

address = "United Kingdom",

note = "Second International Workshop on Practical Aspects of Automated Reasoning (PAAR-2010) ; Conference date: 14-07-2010 Through 14-07-2010",

}

Konev, B, Schmidt, RA & Schulz, S (eds) 2012, A Comparison of Solvers for Propositional Dynamic Logic. in B Konev, RA Schmidt & S Schulz (eds), PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. vol. 9, EPiC Series, EasyChair, pp. 60-69, Second International Workshop on Practical Aspects of Automated Reasoning (PAAR-2010), Edinburgh, 14/07/10.

A Comparison of Solvers for Propositional Dynamic Logic. / Konev, Boris (Editor); Schmidt, Renate A (Editor); Schulz, Stephan (Editor).
PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. ed. / Boris Konev; Renate A Schmidt; Stephan Schulz. Vol. 9 EasyChair, 2012. p. 60-69 (EPiC Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A Comparison of Solvers for Propositional Dynamic Logic

A2 - Konev, Boris

A2 - Schmidt, Renate A

A2 - Schulz, Stephan

A2 - Konev, Boris

A2 - Schmidt, Renate A

A2 - Schulz, Stephan

PY - 2012

Y1 - 2012

N2 - 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).

AB - 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).

M3 - Conference contribution

SN - 2040-557X

VL - 9

T3 - EPiC Series

SP - 60

EP - 69

BT - PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning

PB - EasyChair

T2 - Second International Workshop on Practical Aspects of Automated Reasoning (PAAR-2010)

Y2 - 14 July 2010 through 14 July 2010

ER -

A Comparison of Solvers for Propositional Dynamic Logic

Abstract

Publication series

Conference

Fingerprint

Cite this