First-Order Dynamic Logic by D. HarelFirst-Order Dynamic Logic by D. Harel

First-Order Dynamic Logic

byD. Harel

Paperback | April 1, 1979

Pricing and Purchase Info

$23.33 online 
$23.50 list price
Earn 117 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores

Title:First-Order Dynamic LogicFormat:PaperbackDimensions:148 pagesPublished:April 1, 1979Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540092374

ISBN - 13:9783540092377

Look for similar items by category:


Table of Contents

I: Binary-relation semantics.- II: Computation-tree semantics.