The deliberative stit: A study of action, omission, ability, and obligation

Related Items (47)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Some forms of collectively bringing about or `seeing to it that' ⋮ Agential free choice ⋮ A STIT logic for reasoning about social influence ⋮ Logic and Ethics: An Integrated Model for Norms, Intentions and Actions ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ Rich deontic logic: A preliminary study ⋮ Temporal logic and its application to normative reasoning ⋮ Complexity results of STIT fragments ⋮ Trust and agency in the context of communication ⋮ Permission to speak: a logic for access control and conformance ⋮ The logic of action and control ⋮ A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ Expressivity results for deontic logics of collective agency ⋮ Completeness of a branching-time logic with possible choices ⋮ THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES ⋮ ``Ought and intensionality ⋮ Everything is learnable, once it is settled ⋮ DOING WITHOUT ACTION TYPES ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC ⋮ Acting, Events and Actions ⋮ Making a start with the stit logic analysis of intentional action ⋮ Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity ⋮ A logic of intention and attempt ⋮ On the logic of cooperation and propositional control ⋮ Deontic logic for strategic games ⋮ Evaluating practical reasoning ⋮ Alternative axiomatics and complexity of deliberative STIT theories ⋮ A semantics for means-end relations ⋮ Karma theory, determinism, fatalism and freedom of will ⋮ A logic for reasoning about counterfactual emotions ⋮ Deontic epistemic stit logic distinguishing modes of mens rea ⋮ Uncompactness of stit logics containing generalized refref conditionals ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ Branching time, perfect information games, and backward induction ⋮ Model Checking Strategic Equilibria ⋮ Knowing-how under uncertainty ⋮ On composition of bounded-recall plans ⋮ Axioms for deliberative stit ⋮ Agency and obligation ⋮ Obligation, contracts, and negotiation: Outlining an approach ⋮ On obligations and normative ability: Towards a logical analysis of the social contract ⋮ Propositional \(\text Q\)-logic ⋮ On the axiomatisation of Elgesem's logic of agency and ability

Cites Work

This page was built for publication: The deliberative stit: A study of action, omission, ability, and obligation