On models for propositional dynamic logic
From MaRDI portal
Publication:1183594
DOI10.1016/0304-3975(91)90083-EzbMath0753.68061MaRDI QIDQ1183594
Jan van Leeuwen, Peter M. W. Knijnenburg
Publication date: 28 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68N17: Logic programming
Cites Work