This is a preview of subscription content, log in via an institution.
Bibliography
R. Sherman, D. Havel: “A combined Proof of One-Exponential Decidability and Completeness for Proportional Dynamic Logic” Report on the 1st GTI workshop, Paderborn
D. Havel: “First order dynamic logic” LNCS vol. 68, Springer Verlag, New York 1979
D. Havel “Dynamic Logic” Handbook of philosophical logic, vol. 2, chap 2/10.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Janowski, T. (1989). Examining the satisfiability of the formulas of Propositional Dynamic Logic. In: Monien, B., Cori, R. (eds) STACS 89. STACS 1989. Lecture Notes in Computer Science, vol 349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029016
Download citation
DOI: https://doi.org/10.1007/BFb0029016
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50840-3
Online ISBN: 978-3-540-46098-5
eBook Packages: Springer Book Archive