scientific article; zbMATH DE number 218548

zbMATH Open0789.03030MaRDI QIDQ4694252

Wojciech Penczek

Publication date: 29 June 1993

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

zbMATH Keywords

decidabilitytemporal logictrue concurrencyevent structurescomplete axiomatizationsystem specification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (9)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Event-driven temporal logic pattern for control software requirements specification ⋮ A Monotonic Formalism for Events and Systems of Events ⋮ Title not available (Why is that?) ⋮ An event-based fragment of first-order logic over intervals ⋮ Title not available (Why is that?) ⋮ Event-based time-stamped claim logic ⋮ Title not available (Why is that?)

Recommendations

• Event calculus and temporal action logics compared 👍 👎
• Actions and Events in Interval Temporal Logic 👍 👎
• Timed Temporal Logics 👍 👎
• Temporal Logics 👍 👎
• ESTL: A Temporal Logic for Events and States 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q4694252)