scientific article; zbMATH DE number 1852915

zbMATH Open1003.03528MaRDI QIDQ4789445FDOQ4789445

Authors: David Harel, Dexter Kozen, Jerzy Tiuryn 

Publication date: 29 January 2003

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Cited In (23)

• Title not available (Why is that?)
• All-path reachability logic
• A computational interpretation of conceptivism
• Dynamic logic: a personal perspective
• Dynamic Logic with Non-rigid Functions
• Deductive verification of floating-point Java programs in KeY
• Title not available (Why is that?)
• Compositional reasoning using intervals and time reversal
• Dynamic backward reasoning systems
• Dynamic preference logic meets iterated belief change: representation results and postulates characterization
• Querying linguistic trees
• Linear and affine logics with temporal, spatial and epistemic operators
• A Logical Foundation for Environment Classifiers
• The compositional method and regular reachability
• A program logic to verify signal temporal logic specifications of hybrid systems
• A dynamic logic of action
• Sequential dynamic logic
• Reasoning about manipulation in multi-agent systems
• Dynamic Context Logic
• Title not available (Why is that?)
• A verification-driven framework for iterative design of controllers
• An Abstract Look at Awareness Models and Their Dynamics
• ReLo: a Dynamic Logic to Reason About Reo Circuits

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4789445)