Permission from an input/output perspective
This paper is the third in a series by the authors (cf. Zbl 0964.03002, Zbl 0993.03039) on input/output logics based on inference-like operations in which inputs need not be outputs and outputs need not be recyclable as inputs. These have particular application in deontic logic, where the input/output operations may represent a system of norms. The previous papers investigated conditional obligation within this framework; the present paper takes up (conditional) permission. This notion is more complex than usually considered in deontic logic. The authors distinguish three sorts of conditional permission, negative permission and two sorts of positive permission. Negative permission is the absence of prohibition; this is what is usually presented in deontic logic. Static positive permission is, roughly, what follows from something a normative code explicitly permits and what it requires. This is rather like a weak obligation; it guides a person's action. Dynamic positive permission is, roughly, what cannot be contravened in a normative code without incoherence; this guides codemakers considering changing the body of norms. All three concepts are defined precisely with respect to the input/output structures, and their formal properties investigated, especially the rules of inference they satisfy and the way they can be axiomatized out of the rules of conditional obligation. It is noteworthy that the distinctions between the two sorts of positive permission require the sophistication of the input/output logics. An appendix summarizes the basic concepts of that framework.
- 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
- On the complexity of input/output logic
- AGM contraction and revision of rules
- Unsettling preferential semantics
- A Lewisian taxonomy for deontic logic
- From input/output logics to conditional logics via sequents -- with provers
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
- Contrary-to-duty reasoning: a categorical approach
- An inconsistency-adaptive deontic logic for normative conflicts
- Computing strong and weak permissions in defeasible logic
- Two adaptive logics of norm-propositions
- Ten problems of deontic logic and normative reasoning in computer science
- A multi-agent default theory of permission
- Open reading and free choice permission: a perspective in substructural logics
- Adaptive logic characterizations of input/output logic
- Boolean Game with Prioritized Norms
- On the Complexity of Input/Output Logic
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
- Normative Consequence: The Problem of Keeping It Whilst Giving It up
- Arguing about constitutive and regulative norms
- The categorical imperative: category theory as a foundation for deontic logic
- Relevance, derogation and permission. A case for a normal form for codes of norms
- Normative reasoning and consequence
- Abstract interfaces of input/output logic
- scientific article; zbMATH DE number 6741896 (Why is no real title available?)
- Input/output logic with a consistency check -- the case of permission
- Constraints for input/output logics
- Subordination algebras as semantic environment of input/output logic
- Mīmāṃsā on `better-not' permissions
- Obligations and permissions on selfextensional logics
- A theory of permission based on the notion of derogation
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)
