Dynamic logic

• Autor: David Harel 1950-
• Dexter Kozen 1951-; Jerzy Tiuryn
• Materias: Computer logic; Formal methods (Computer science); Logique informatique; M ethodes formelles (Informatique); Dynamische Logik; INTELIGÊNCIA ARTIFICIAL
• Notas: Includes bibliographical references and index
  
• Descripción: Fundamental Concepts Mathematical Preliminaries Computability and Complexity Logic. Reasoning About Programs -- Propositional Dynamic Logic. Propositional Dynamic Logic. Filtration and Decidability. Deductive Completeness. Complexity of PDL. Nonregular PDL. Other Variants of PDL -- First-Order Dynamic Logic. First-Order Dynamic Logic. Relationships with Static Logics. Complexity. Axiomatization. Expressive Power. Variants of DL. Other Approaches.
  
• Títulos relacionados: Serie:Foundations of computing
• Editor: Cambridge, Mass MIT Press
  
• Fecha de creación: 2000
  
• Formato: xv, 459 p ill 23 cm.
  
• Idioma: Inglés