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

modal logicdenotational semanticssaturation method

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(10)

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

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)