Modal Logic and Equality for Process Algebra

DOI10.1093/LOGCOM/6.1.121zbMATH Open0844.68045OpenAlexW2007985911MaRDI QIDQ4870069FDOQ4870069

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

Recommendations

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

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)

Cited In (10)

• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)