Modal Logic and Equality for Process Algebra

DOI10.1093/logcom/6.1.121zbMath0844.68045OpenAlexW2007985911MaRDI QIDQ4870069

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)

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