Permission from an input/output perspective
From MaRDI portal
Recommendations
- A theory of permission based on the notion of derogation
- scientific article; zbMATH DE number 2019850
- Abstract interfaces of input/output logic
- The logic of reusable propositional output with the fulfilment constraint
- From input/output logics to conditional logics via sequents -- with provers
- Goal-directed decision procedures for input/output logics
- Normative Consequence: The Problem of Keeping It Whilst Giving It up
- Constraints for input/output logics
- Deontic logic based on inquisitive semantics
- Input/output logic with a consistency check -- the case of permission
Cites work
Cited in
(28)- Unsettling preferential semantics
- Boolean Game with Prioritized Norms
- Open reading and free choice permission: a perspective in substructural logics
- Ten problems of deontic logic and normative reasoning in computer science
- On the complexity of input/output logic
- An inconsistency-adaptive deontic logic for normative conflicts
- Two adaptive logics of norm-propositions
- A Lewisian taxonomy for deontic logic
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
- Relevance, derogation and permission. A case for a normal form for codes of norms
- Subordination algebras as semantic environment of input/output logic
- Normative Consequence: The Problem of Keeping It Whilst Giving It up
- From input/output logics to conditional logics via sequents -- with provers
- Input/output logic with a consistency check -- the case of permission
- Arguing about constitutive and regulative norms
- On the Complexity of Input/Output Logic
- The categorical imperative: category theory as a foundation for deontic logic
- Adaptive logic characterizations of input/output logic
- Normative reasoning and consequence
- Constraints for input/output logics
- A theory of permission based on the notion of derogation
- Abstract interfaces of input/output logic
- A multi-agent default theory of permission
- AGM contraction and revision of rules
- Computing strong and weak permissions in defeasible logic
- scientific article; zbMATH DE number 6741896 (Why is no real title available?)
- Contrary-to-duty reasoning: a categorical approach
This page was built for publication: Permission from an input/output perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1402584)
