Reasoning about manipulation in multi-agent systems

DOI10.1080/11663081.2022.2124067MaRDI QIDQ5048036zbMATH OpenOpenAlexFDO

Authors Christopher Leturc, Grégory Bonnet

Publication date 17 November 2022

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2022.2124067

zbMATH Keywords

deceptionmanipulationmodal logicsneighbourhood semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A manipulation game based on Machiavellian strategies
• A formal account of dishonesty
• Obvious manipulations
• scientific article; zbMATH DE number 795590
• Forbidding undesirable agreements: a dependence-based approach to the regulation of multi-agent systems

Cites work

• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A formal account of dishonesty
• A STIT logic for reasoning about social influence
• Action theory and social science. Some formal models
• Alternating-time temporal logic
• Alternative axiomatics and complexity of deliberative STIT theories
• Awareness and partitional information structures
• Awareness dynamics
• Belief, awareness, and limited reasoning
• scientific article; zbMATH DE number 1852915 (Why is no real title available?)
• Implicit, explicit and speculative knowledge
• Manipulation of social choice functions
• Manipulation of Voting Schemes: A General Result
• Neighborhood semantics for modal logic
• Ramification and causality in a modal action logic

Cited in

(1)

• scientific article; zbMATH DE number 7056232 (Why is no real title available?)

This page was built for publication: Reasoning about manipulation in multi-agent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5048036)