scientific article; zbMATH DE number 3274722
From MaRDI portal
Publication:5560264
Cited in
(34)- Moral dilemmas, disjunctive obligations, and Kant's principle that ``ought implies ``can
- Laws, modalities and counterfactuals
- Varieties of commitment. Approaches to the symbolization of conditional obligations
- Actors, actions, and initiative in normative system specification
- On the complexity of input/output logic
- Free choice and contextually permitted actions
- A normative supervisor for reinforcement learning agents
- Introducing synchrony in fuzzy automata
- A logic of delegation
- Deontology of compound actions
- Two adaptive logics of norm-propositions
- The paradoxes of permission an action based solution
- Sur la syllogistique deontique de Zdzislaw Ziemba
- Provability as a deontic notion
- Conflicting imperatives and dyadic deontic logic
- A formal characterisation of Hamblin's action-state semantics
- The topology of boundaries
- Free choice in modal inquisitive logic
- A multi-agent default theory of permission
- Open reading and free choice permission: a perspective in substructural logics
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
- A dynamic deontic logic for complex contracts
- The categorical imperative: category theory as a foundation for deontic logic
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
- Normative conflicts and the logic of `ought'
- John McCarthy's legacy
- A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
- Neglect-zero effects in dynamic semantics
- von Wright and Hintikka on modal logic 1951--1962
- Mīmāṃsā on `better-not' permissions
- State-based modal logics for free choice
- Synchronous Kleene algebra
- A logic for reasoning about independent alternatives
- Title not available (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5560264)