scientific article; zbMATH DE number 3729438

MaRDI QIDQ3917484zbMATH OpenFDO

Authors Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli

Publication date 1981

zbMATH Keywords

algorithmaxiomatizationprogramssatisfiability of formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General topics in the theory of software (68N01) Analysis of algorithms and problem complexity (68Q25) Abstract data types; algebraic specification (68Q65)

Cited in

(4)

• Process logic: Expressiveness, decidability, completeness
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• A dynamic deontic logic for complex contracts

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