Modal Logic and Equality for Process Algebra

DOI10.1093/LOGCOM/6.1.121MaRDI QIDQ4870069zbMATH OpenOpenAlexFDO

Authors William P. R. Mitchell

Publication date 18 August 1996

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/6.1.121

zbMATH Keywords

denotational semanticsmodal logicsaturation method

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Modal logics for mobile processes
• scientific article; zbMATH DE number 1488152
• scientific article; zbMATH DE number 3930336

Cited in

(11)

• Congruence from the operator's point of view. Syntactic requirements on modal characterizations
• Behavioural equivalence via modalities for algebraic effects
• Modal logics for cryptographic processes
• Process algebra for modal transition systemses
• scientific article; zbMATH DE number 3930336 (Why is no real title available?)
• A modal characterization of observational congruence on finite terms of CCS
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• scientific article; zbMATH DE number 1488152 (Why is no real title available?)
• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• A Logical Viewpoint on Process-algebraic Quotients
• scientific article; zbMATH DE number 1424056 (Why is no real title available?)

This page was built for publication: Modal Logic and Equality for Process Algebra

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