On the Expressive Power of Dynamic Logic, II

Similar Items

• On the Expressive Power of Dynamic Logic
  by: Meyer, Albert R., et al.
  Published: (2023)
• The Propositional Dynamic Logic of Deterministic, Well-Structured Programs
  by: Halpern, Joseph Y., et al.
  Published: (2023)
• Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness
  by: Ben-Ari, Mordechai, et al.
  Published: (2023)
• Modeling Adversaries in a Logic for Security Protocol Analysis
  by: Joseph Y. Halpern, et al.
  Published: (2012-03-01)
• Complexity and expressive power of logic programming
  by: Dantsin, E, et al.
  Published: (2001)