A STIT logic for reasoning about social influence

DOI10.1007/s11225-015-9636-xzbMath1417.03225OpenAlexW2176946442MaRDI QIDQ310094

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

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

Related Items (3)

Choice-driven counterfactuals ⋮ Reasoning about manipulation in multi-agent systems ⋮ Logic of visibility in social networks

Uses Software

• SQEMA

Cites Work

• A logic for reasoning about counterfactual emotions
• 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
• Time and modality in the logic of agency
• Axioms for deliberative stit
• Modelling social action for AI agents
• Propositional \(\text Q\)-logic
• The deliberative stit: A study of action, omission, ability, and obligation
• Complexity results of STIT fragments
• A logical approach to the dynamics of commitments
• A dynamic logic of agency. I: STIT, capabilities and powers
• A modal logic of epistemic games
• Intention is choice with commitment
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Dynamic logic of preference upgrade
• 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
• Law and logic
• Axioms for Branching Time
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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