Getting started: Beginnings in the logic of action
From MaRDI portal
Publication:1207426
DOI10.1007/BF01028968zbMath0786.03003MaRDI QIDQ1207426
Publication date: 1 April 1993
Published in: Studia Logica (Search for Journal in Brave)
Related Items (23)
Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Busy choice sequences refraining formulas and modalities ⋮ Action negation and alternative reductions for dynamic deontic logics ⋮ On the basic logic ofSTITwith a single agent ⋮ Variants of multi-relational semantics for propositional non-normal modal logics ⋮ Trust and agency in the context of communication ⋮ Quantification in some non-normal modal logics ⋮ The logic of action and control ⋮ A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ A dynamic deontic logic for complex contracts ⋮ The paradoxes of permission an action based solution ⋮ A logic of intention and attempt ⋮ Logic and semantics for imperatives ⋮ On the logic of cooperation and propositional control ⋮ A semantics for means-end relations ⋮ Karma theory, determinism, fatalism and freedom of will ⋮ Uncompactness of stit logics containing generalized refref conditionals ⋮ Events in branching time ⋮ Axioms for deliberative stit ⋮ On the Reconciliation of Logics of Agency and Logics of Event Types ⋮ On obligations and normative ability: Towards a logical analysis of the social contract ⋮ On the axiomatisation of Elgesem's logic of agency and ability
Cites Work
- A topological logic of action
- On the logic of ability
- Application of modal logic to programming
- Axiomatising the logic of computer programming
- Action theory and social science. Some formal models
- Propositional dynamic logic of regular programs
- A logical analysis of some value concepts
- Law and logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Getting started: Beginnings in the logic of action
