scientific article; zbMATH DE number 2233515

MaRDI QIDQ5709172zbMATH OpenFDO

Authors Veselka Boeva

Publication date 29 November 2005

zbMATH Keywords

conceptual modellingconflict detectiondynamic conflictsmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) 2-person games (91A05)

Recommendations

• scientific article; zbMATH DE number 549980
• A system of dynamic modal logic
• A general framework for modal correspondence in dynamic epistemic logic
• scientific article; zbMATH DE number 1523046
• A modal separation logic for resource dynamics
• Modal logic for modelling actions and agents
• A modal logic for non-deterministic information systems
• scientific article; zbMATH DE number 2196600
• scientific article; zbMATH DE number 1290261

Cited in

(2)

• Logic–Based Detection of Conflicts in Appel Policies
• scientific article; zbMATH DE number 5506106 (Why is no real title available?)

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