Pages that link to "Item:Q909653"
From MaRDI portal
The following pages link to A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic (Q909653):
Displayed 50 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Completely and partially executable sequences of actions in deontic context (Q513930) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- Action negation and alternative reductions for dynamic deontic logics (Q598547) (← links)
- Reasoning about permitted announcements (Q652739) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- Law and logic: a review from an argumentation perspective (Q899166) (← links)
- Substantive and procedural norms in normative multiagent systems (Q931774) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- Don't ever do that! Long-term duties in \(PD_{e}L\) (Q935022) (← links)
- Dynamic deontic logic and its paradoxes (Q1005939) (← links)
- Actors, actions, and initiative in normative system specification (Q1353968) (← links)
- The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? (Q1360685) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- On the complexity of input/output logic (Q1688711) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Deontic STIT logic, from logical paradox to security policy (Q1797760) (← links)
- On the possibility theory-based semantics for logics of preference (Q1818097) (← links)
- Two approaches to the formalisation of defeasible deontic reasoning (Q1922822) (← links)
- Contrary-to-duty obligations (Q1922823) (← links)
- Deontic database constraints, violation and recovery (Q1922825) (← links)
- Free choice and contextually permitted actions (Q1922828) (← links)
- Reasoning about actions and obligations in first-order logic (Q1922829) (← links)
- Blame it on me (Q1986083) (← links)
- A Lewisian taxonomy for deontic logic (Q1989995) (← links)
- Inquisitive propositional dynamic logic (Q2035846) (← links)
- Dynamic logic of legal competences (Q2071574) (← links)
- How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation (Q2148834) (← links)
- Propositional dynamic logic with quantification over regular computation sequences (Q2151417) (← links)
- Generalizing deontic action logic (Q2157600) (← links)
- Action type deontic logic (Q2258815) (← links)
- Deontology of compound actions (Q2304622) (← links)
- Supercover semantics for deontic action logic (Q2322983) (← links)
- An inconsistency-adaptive deontic logic for normative conflicts (Q2377190) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- Towards a First-Order Deontic Action Logic (Q2890324) (← links)
- Violation games: a new foundation for deontic logic ★ (Q2901204) (← links)
- A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts (Q3092310) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- Logic and Ethics: An Integrated Model for Norms, Intentions and Actions (Q3457710) (← links)
- Acting, Events and Actions (Q3522040) (← links)
- A Tableaux System for Deontic Action Logic (Q3522041) (← links)
- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic (Q3522043) (← links)
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047) (← links)
- Introducing Grades in Deontic Logics (Q3522054) (← links)
- Logical approaches to deontic reasoning: From basic questions to dynamic solutions (Q3537541) (← links)