Pages that link to "Item:Q1908789"
From MaRDI portal
The following pages link to The deliberative stit: A study of action, omission, ability, and obligation (Q1908789):
Displaying 48 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Deontic logic for strategic games (Q486968) (← links)
- Karma theory, determinism, fatalism and freedom of will (Q523292) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- Rich deontic logic: A preliminary study (Q598541) (← links)
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Making a start with the stit logic analysis of intentional action (Q652741) (← links)
- On the axiomatisation of Elgesem's logic of agency and ability (Q815019) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
- Agential free choice (Q830373) (← links)
- A logic of intention and attempt (Q934779) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- Axioms for deliberative stit (Q1272834) (← links)
- Agency and obligation (Q1292991) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity (Q2219142) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- Evaluating practical reasoning (Q2460166) (← links)
- A semantics for means-end relations (Q2460183) (← links)
- Obligation, contracts, and negotiation: Outlining an approach (Q2568338) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
- Logic and Ethics: An Integrated Model for Norms, Intentions and Actions (Q3457710) (← links)
- Acting, Events and Actions (Q3522040) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)
- Trust and agency in the context of communication (Q4586225) (← links)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
- RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC (Q5117589) (← links)
- THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES (Q5357326) (← links)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)
- Branching time, perfect information games, and backward induction (Q5954142) (← links)
- The logic of action and control (Q6054057) (← links)
- A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations (Q6054066) (← links)
- Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
- Expressivity results for deontic logics of collective agency (Q6088592) (← links)
- ``Ought'' and intensionality (Q6142504) (← links)
- Everything is learnable, once it is settled (Q6142509) (← links)
- DOING WITHOUT ACTION TYPES (Q6153157) (← links)
- Does success entail ability? (Q6495244) (← links)