A STIT logic for reasoning about social influence

DOI10.1007/S11225-015-9636-XMaRDI QIDQ310094zbMATH OpenOpenAlexFDO

Authors Emiliano Lorini, Giovanni Sartor

Publication date 7 September 2016

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-015-9636-x

zbMATH Keywords

influenceaxiomaticsSTIT logic

Mathematics Subject Classification ID

Models of societies, social and urban evolution (91D10) Mathematical geography and demography (91D20) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Other applications of logic (03B80)

Recommendations

• A logical analysis of commitment dynamics
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A STIT-Extension of ATL
• A two-tiered formalization of social influence
• Probabilistic stit logic

Cites work

• scientific article; zbMATH DE number 4135904 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A dynamic logic of agency. I: STIT, capabilities and powers
• A logic for reasoning about counterfactual emotions
• A logical approach to the dynamics of commitments
• A modal logic of epistemic games
• Agency and deontic logic
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• Alternative axiomatics and complexity of deliberative STIT theories
• Axioms for Branching Time
• Axioms for deliberative stit
• Branching-time logic with quantification over branches: The point of view of modal logic
• Comparing semantics for temporal STIT logic
• Complexity results of STIT fragments
• Deontic epistemic stit logic distinguishing modes of mens rea
• Dynamic logic of preference upgrade
• Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
• Intention is choice with commitment
• Law and logic
• Logic and time
• Making a start with the stit logic analysis of intentional action
• Modal logic
• Model checking.
• Modelling social action for AI agents
• Propositional Q-logic
• Temporal STIT logic and its application to normative reasoning
• The deliberative stit: A study of action, omission, ability, and obligation
• Time and modality in the logic of agency

Cited in

(5)

• Choice-driven counterfactuals
• Logic of visibility in social networks
• Visibility and exploitation in social networks
• Reasoning about manipulation in multi-agent systems
• A two-tiered formalization of social influence

Describes a project that uses

Uses Software

• SQEMA

This page was built for publication: A STIT logic for reasoning about social influence

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