Examining the satisfiability of the formulas of Propositional Dynamic Logic

  • Tomasz Janowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 349)


  1. R. Sherman, D. Havel: “A combined Proof of One-Exponential Decidability and Completeness for Proportional Dynamic Logic” Report on the 1st GTI workshop, PaderbornGoogle Scholar
  2. D. Havel: “First order dynamic logic” LNCS vol. 68, Springer Verlag, New York 1979Google Scholar
  3. D. Havel “Dynamic Logic” Handbook of philosophical logic, vol. 2, chap 2/10.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Tomasz Janowski
    • 1
  1. 1.Gdańsk UniversityPoland

Personalised recommendations