A comprehensive index of philosophy book reviews

Home › Search

Reviews matching “First-order dynamic logic”

1 result

Search reviews

Book	Author	Reviewer	Journal	Date
First-order dynamic logic	David Harel	Jerzy Tiuryn	The Journal of Symbolic Logic	1982

Open this search with filters

PhilReviews — built by Matt Zwolinski · Contact · Update Log
© 2026 Matt Zwolinski. PhilReviews is a bibliographic index. All review content is hosted by the original publishers.