More on nonregular PDL: Finite models and Fibonacci-like programs

DOI10.1006/INCO.1996.0066zbMath0856.68131OpenAlexW2092622250MaRDI QIDQ1923105

David Harel, Eli Singerman

Publication date: 3 February 1997

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a4509562f4e526dfce2c4de636d8e3f4580a7284

zbMATH Keywords

propositional dynamic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (2)

Propositional dynamic logic of context-free programs and fixpoint logic with chop ⋮ Propositional dynamic logic with recursive programs

This page was built for publication: More on nonregular PDL: Finite models and Fibonacci-like programs