A STIT logic for reasoning about social influence

DOI10.1007/S11225-015-9636-XzbMATH Open1417.03225OpenAlexW2176946442MaRDI QIDQ310094FDOQ310094

Giovanni Sartor, Emiliano Lorini

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)

Cites Work

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

Cited In (4)

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

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)