Pages that link to "Item:Q1402584"
From MaRDI portal
The following pages link to Permission from an input/output perspective (Q1402584):
Displaying 23 items.
- Adaptive logic characterizations of input/output logic (Q332074) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- A theory of permission based on the notion of derogation (Q975881) (← links)
- On the complexity of input/output logic (Q1688711) (← links)
- AGM contraction and revision of rules (Q1698336) (← links)
- Unsettling preferential semantics (Q1986085) (← links)
- A Lewisian taxonomy for deontic logic (Q1989995) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- An inconsistency-adaptive deontic logic for normative conflicts (Q2377190) (← links)
- Computing strong and weak permissions in defeasible logic (Q2441477) (← links)
- Two adaptive logics of norm-propositions (Q2446539) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- A Multi-agent Default Theory of Permission (Q3298277) (← links)
- Open Reading and Free Choice Permission: A Perspective in Substructural Logics (Q3305689) (← links)
- Boolean Game with Prioritized Norms (Q3457717) (← links)
- On the Complexity of Input/Output Logic (Q3457729) (← links)
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking (Q3522045) (← links)
- Normative Consequence: The Problem of Keeping It Whilst Giving It up (Q3522049) (← links)
- Arguing about constitutive and regulative norms (Q4685529) (← links)
- (Q4993609) (← links)
- Constraints for input/output logics (Q5935791) (← links)