skip to content
Dynamic logic Preview this item
ClosePreview this item
Checking...

Dynamic logic

Author: David Harel; Dexter Kozen; Jerzy Tiuryn
Publisher: Cambridge, Mass. : MIT Press, 2000.
Series: Foundations of computing.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This book provides the first comprehensive introduction to Dynamic Logic.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: David Harel; Dexter Kozen; Jerzy Tiuryn
ISBN: 0262082896 9780262082891
OCLC Number: 43894182
Description: xv, 459 pages : illustrations ; 23 cm.
Contents: I. Fundamental Concepts. 1. Mathematical Preliminaries. 2. Computability and Complexity. 3. Logic. 4. Reasoning About Programs --
II. Propositional Dynamic Logic. 5. Propositional Dynamic Logic. 6. Filtration and Decidability. 7. Deductive Completeness. 8. Complexity of PDL. 9. Nonregular PDL. 10. Other Variants of PDL --
III. First-Order Dynamic Logic. 11. First-Order Dynamic Logic. 12. Relationships with Static Logics. 13. Complexity. 14. Axiomatization. 15. Expressive Power. 16. Variants of DL. 17. Other Approaches.
Series Title: Foundations of computing.
Responsibility: David Harel, Dexter Kozen, Jerzy Tiuryn.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/43894182> # Dynamic logic
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "43894182" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/33755112#Place/cambridge_mass> ; # Cambridge, Mass.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/33755112#Topic/logica> ; # Logica
    schema:about <http://dewey.info/class/004.015113/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/33755112#Topic/logique_informatique> ; # Logique informatique
    schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/33755112#Topic/dynamische_logik> ; # Dynamische Logik
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/33755112#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://experiment.worldcat.org/entity/work/data/33755112#Topic/wiskundige_modellen> ; # Wiskundige modellen
    schema:about <http://experiment.worldcat.org/entity/work/data/33755112#Topic/methodes_formelles_informatique> ; # Méthodes formelles (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/33755112#Topic/dynamische_modellen> ; # Dynamische modellen
    schema:about <http://experiment.worldcat.org/entity/work/data/33755112#Topic/informatica> ; # Informatica
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/33755112#Person/tiuryn_jerzy> ; # Jerzy Tiuryn
    schema:contributor <http://viaf.org/viaf/25829033> ; # Dexter Kozen
    schema:creator <http://viaf.org/viaf/109353358> ; # David Harel
    schema:datePublished "2000" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/33755112> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/33755112#Series/foundations_of_computing> ; # Foundations of computing.
    schema:name "Dynamic logic"@en ;
    schema:productID "43894182" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/43894182#PublicationEvent/cambridge_mass_mit_press_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/33755112#Agent/mit_press> ; # MIT Press
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=009190986&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009190986&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://ieeexplore.ieee.org/servlet/opac?bknumber=6267400> ;
    schema:workExample <http://worldcat.org/isbn/9780262082891> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA105923> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/43894182> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/33755112#Person/tiuryn_jerzy> # Jerzy Tiuryn
    a schema:Person ;
    schema:familyName "Tiuryn" ;
    schema:givenName "Jerzy" ;
    schema:name "Jerzy Tiuryn" ;
    .

<http://experiment.worldcat.org/entity/work/data/33755112#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/33755112#Series/foundations_of_computing> # Foundations of computing.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/43894182> ; # Dynamic logic
    schema:name "Foundations of computing." ;
    schema:name "Foundations of computing" ;
    .

<http://experiment.worldcat.org/entity/work/data/33755112#Topic/dynamische_logik> # Dynamische Logik
    a schema:Intangible ;
    schema:name "Dynamische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/33755112#Topic/dynamische_modellen> # Dynamische modellen
    a schema:Intangible ;
    schema:name "Dynamische modellen"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/33755112#Topic/logique_informatique> # Logique informatique
    a schema:Intangible ;
    schema:name "Logique informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/33755112#Topic/logisch_programmeren> # Logisch programmeren
    a schema:Intangible ;
    schema:name "Logisch programmeren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/33755112#Topic/methodes_formelles_informatique> # Méthodes formelles (Informatique)
    a schema:Intangible ;
    schema:name "Méthodes formelles (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/33755112#Topic/wiskundige_modellen> # Wiskundige modellen
    a schema:Intangible ;
    schema:name "Wiskundige modellen"@en ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://ieeexplore.ieee.org/servlet/opac?bknumber=6267400>
    rdfs:comment "Rutgers restricted" ;
    rdfs:comment "Full text available from IEEE CISnet:" ;
    .

<http://viaf.org/viaf/109353358> # David Harel
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Harel" ;
    schema:givenName "David" ;
    schema:name "David Harel" ;
    .

<http://viaf.org/viaf/25829033> # Dexter Kozen
    a schema:Person ;
    schema:birthDate "1951" ;
    schema:familyName "Kozen" ;
    schema:givenName "Dexter" ;
    schema:name "Dexter Kozen" ;
    .

<http://worldcat.org/isbn/9780262082891>
    a schema:ProductModel ;
    schema:isbn "0262082896" ;
    schema:isbn "9780262082891" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.