scientific article; zbMATH DE number 1852915

zbMath1003.03528MaRDI QIDQ4789445

Dexter Kozen, Jerzy Tiuryn, David Harel

Publication date: 29 January 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (16)

Linear and affine logics with temporal, spatial and epistemic operators ⋮ Reasoning about manipulation in multi-agent systems ⋮ A computational interpretation of conceptivism ⋮ An Abstract Look at Awareness Models and Their Dynamics ⋮ ReLo: a Dynamic Logic to Reason About Reo Circuits ⋮ A program logic to verify signal temporal logic specifications of hybrid systems ⋮ Unnamed Item ⋮ Deductive verification of floating-point Java programs in KeY ⋮ Compositional reasoning using intervals and time reversal ⋮ All-Path Reachability Logic ⋮ Querying linguistic trees ⋮ Dynamic preference logic meets iterated belief change: representation results and postulates characterization ⋮ Unnamed Item ⋮ A Logical Foundation for Environment Classifiers ⋮ The Compositional Method and Regular Reachability ⋮ A verification-driven framework for iterative design of controllers

This page was built for publication: