scientific article; zbMATH DE number 1231561

MaRDI QIDQ4222877zbMATH OpenFDO

Authors Monica Nesi

Publication date 20 December 1998

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

zbMATH Keywords

Hennessy-Milner logicvalue-Passing CCS

Mathematics Subject Classification ID

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

Recommendations

• Modal logic for modelling actions and agents
• Programming rational agents in a modal action logic
• scientific article; zbMATH DE number 1301861
• scientific article; zbMATH DE number 1231562
• A modal logic for mobile agents
• A complete modal proof system for HAL: the Herbrand agent language
• Logics modulo theories: a logical framework for multi-agent systems
• On decidability and model checking for a first order modal logic for value-passing process
• A modal logic for message passing processes
• Multi-agent logics with multi-valuations and intensional logical operations

Cites work

• Algebraic laws for nondeterminism and concurrency
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• Modal logics for mobile processes
• Symbolic bisimulations

Cited in

(5)

• A complete modal proof system for HAL: the Herbrand agent language
• A modal logic for message passing processes
• Formalising a value-passing calculus in H0L
• Mechanised modal model theory
• Two case studies of semantics execution in Maude: CCS and LOTOS

Describes a project that uses

Uses Software

• HOL
• ML

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