Propositional Dynamic Logics of Programs: A Survey

Similar Items

• A Completeness Result for a Propositional Dynamic Logic
  by: Parikh, Rohit
  Published: (2023)
• The Propositional Dynamic Logic of Deterministic, Well-Structured Programs
  by: Halpern, Joseph Y., et al.
  Published: (2023)
• Propositional inquisitive logic: a survey
  by: Ivano Ciardelli
  Published: (2016-12-01)
• Propositional Dynamic Logic of Looping and Converse
  by: Streett, Robert S.
  Published: (2023)
• The Deducibility Problem in Propositional Dynamic Logic
  by: Meyer, Albert R., et al.
  Published: (2023)