Pages that link to "Item:Q1207426"
From MaRDI portal
The following pages link to Getting started: Beginnings in the logic of action (Q1207426):
Displaying 17 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Logic and semantics for imperatives (Q484146) (← links)
- Karma theory, determinism, fatalism and freedom of will (Q523292) (← links)
- Action negation and alternative reductions for dynamic deontic logics (Q598547) (← links)
- On the axiomatisation of Elgesem's logic of agency and ability (Q815019) (← links)
- A logic of intention and attempt (Q934779) (← links)
- Axioms for deliberative stit (Q1272834) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Events in branching time (Q1780898) (← links)
- Busy choice sequences refraining formulas and modalities (Q1893121) (← links)
- The paradoxes of permission an action based solution (Q2447177) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- A semantics for means-end relations (Q2460183) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← 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)