A logic for reasoning about counterfactual emotions

DOI10.1016/j.artint.2010.11.022zbMath1223.68107OpenAlexW2025799736MaRDI QIDQ543627

Emiliano Lorini, François Schwarzentruber

Publication date: 17 June 2011

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2010.11.022

zbMATH Keywords

epistemic logicpublic announcement logicSTIT logicformalizing emotions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items

A complete coalition logic of temporal knowledge for multi-agent systems ⋮ A STIT logic for reasoning about social influence ⋮ Temporal logic and its application to normative reasoning ⋮ Complexity results of STIT fragments ⋮ The logic of action and control ⋮ Unnamed Item ⋮ An epistemic logic of blameworthiness ⋮ An axiomatic system and a tableau calculus for STIT imagination logic ⋮ Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces ⋮ A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling

Cites Work

• Alternative axiomatics and complexity of deliberative STIT theories
• A logical formalization of the OCC theory of emotions
• A guide to completeness and complexity for modal logics of knowledge and belief
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Many-dimensional modal logics: theory and applications
• The deliberative stit: A study of action, omission, ability, and obligation
• A logical approach to the dynamics of commitments
• The cognitive structure of surprise: looking for basic principles
• Intention is choice with commitment
• Reasoning about emotional agents
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Alternating-time temporal logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic of preference upgrade
• Toward a Dynamic Logic of Questions
• Alternation
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• A Modal Logic for Coalitional Power in Games
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item