A logic of intention and attempt

DOI10.1007/s11229-008-9309-7zbMath1152.03008OpenAlexW1989001504MaRDI QIDQ934779

Andreas Herzig, Emiliano Lorini

Publication date: 30 July 2008

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9309-7

zbMATH Keywords

attemptintentionactionmultimodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (16)

Quantified temporal alethic boulesic doxastic logic ⋮ Logic and Ethics: An Integrated Model for Norms, Intentions and Actions ⋮ Generalizing deontic action logic ⋮ Intentions and potential intentions revisited ⋮ Temporal logic and its application to normative reasoning ⋮ Trust and Norms in the Context of Computer Security: A Logical Formalization ⋮ Making a start with the stit logic analysis of intentional action ⋮ Intention as commitment toward time ⋮ Completely and partially executable sequences of actions in deontic context ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ From oughts to goals: a logic for Enkrasia ⋮ A Dynamic Logic of Institutional Actions ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION ⋮ Refinement of Intentions ⋮ A logical formalization of the OCC theory of emotions ⋮ Modelling last-act attempted crime in criminal law

Cites Work

• A logic of intentions and beliefs
• Knowledge, action, and the frame problem
• Towards a theory of intention revision
• Bringing it about
• Getting started: Beginnings in the logic of action
• Action theory and social science. Some formal models
• An alternate formulation of Kripke's theory of truth
• The deliberative stit: A study of action, omission, ability, and obligation
• A logical approach to the dynamics of commitments
• Intention is choice with commitment
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Some theorems in the metric theory of diophantine approximation
• Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
• Formalizing action and change in modal logic I: the frame problem
• Theory of Stability of Large Periodic Plasma Waves
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logic of intention and attempt