scientific article; zbMATH DE number 1104444

MaRDI QIDQ4370348zbMATH OpenFDO

Authors

Publication date 15 July 1999

zbMATH Keywords

axiomatizationcommon actionsfinite-state agentsmodel of distributed systemspartial-order methodspropositional temporal logictrace consistent formulastransition system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• Tracking reasons with extensions of relevant logics
• Trace consistency and inevitability

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