scientific article; zbMATH DE number 1231562

MaRDI QIDQ4222879zbMATH OpenFDO

Authors Dilian Gurov, Sergei Brezin, Bruce M. Kapron

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#gurov

zbMATH Keywords

modal \(\mu\)-calculusproof system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1088043
• A modal logic for message passing processes
• scientific article; zbMATH DE number 4205976

Cited in

(10)

• A modal logic for message passing processes
• Formalising a value-passing calculus in H0L
• An Axiomatic Value Model for Isabelle/UTP
• scientific article; zbMATH DE number 4205976 (Why is no real title available?)
• scientific article; zbMATH DE number 1231561 (Why is no real title available?)
• scientific article; zbMATH DE number 1303726 (Why is no real title available?)
• scientific article; zbMATH DE number 1088043 (Why is no real title available?)
• scientific article; zbMATH DE number 1522998 (Why is no real title available?)
• A Note on Negative Tagging for Least Fixed-Point Formulae
• On decidability and model checking for a first order modal logic for value-passing process

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