Making a start with the stit logic analysis of intentional action

DOI10.1007/S10992-011-9190-6zbMath1241.03019OpenAlexW2090467131MaRDI QIDQ652741

Jan M. Broersen

Publication date: 15 December 2011

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-011-9190-6

zbMATH Keywords

intentionstit logicagencyaction theoryintentional action

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (11)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Choice-driven counterfactuals ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ A STIT logic for reasoning about social influence ⋮ A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations ⋮ DOING WITHOUT ACTION TYPES ⋮ Decidability of an Xstit logic ⋮ An introduction to real possibilities, indeterminism, and free will: three contingencies of the debate ⋮ Agency and fictional truth: a formal study on fiction-making ⋮ Stit semantics for epistemic notions based on information disclosure in interactive settings ⋮ On the Reconciliation of Logics of Agency and Logics of Event Types

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deontic epistemic stit logic distinguishing modes of mens rea
• A logic of intention and attempt
• Counterfactuals and updates as inverse modalities
• The deliberative stit: A study of action, omission, ability, and obligation
• Intention is choice with commitment
• Alternating-time temporal logic
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A STIT-Extension of ATL
• From BDI and stit to bdi-stit logic
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A Modal Logic for Coalitional Power in Games
• Weak convergence and distributional assumptions for a general class of nonliner arch models

This page was built for publication: Making a start with the stit logic analysis of intentional action