The following pages link to Input/output logics (Q1582229):
Displayed 36 items.
- Adaptive logic characterizations of input/output logic (Q332074) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Stratification of normative systems with intermediaries (Q545171) (← links)
- Normative positions within an algebraic approach to normative systems (Q598543) (← links)
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- A concept approach to input/output logic (Q898776) (← links)
- Law and logic: a review from an argumentation perspective (Q899166) (← links)
- Substantive and procedural norms in normative multiagent systems (Q931774) (← links)
- A theory of permission based on the notion of derogation (Q975881) (← links)
- Permission from an input/output perspective (Q1402584) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- On the complexity of input/output logic (Q1688711) (← links)
- AGM contraction and revision of rules (Q1698336) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- Unsettling preferential semantics (Q1986085) (← links)
- Formalizing Kant's rules. A logic of conditional imperatives and permissives (Q2194110) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Free choice reasons (Q2219154) (← links)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)
- Rethinking epistemic logic with belief bases (Q2307332) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Computing strong and weak permissions in defeasible logic (Q2441477) (← links)
- Two adaptive logics of norm-propositions (Q2446539) (← links)
- Conflicting imperatives and dyadic deontic logic (Q2568342) (← links)
- Violation games: a new foundation for deontic logic ★ (Q2901204) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← 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)
- Realistic desires (Q4453905) (← links)
- Modelling phenomena and dynamic logic of phenomena (Q4583147) (← links)
- Equivalence of defeasible normative systems (Q4583306) (← links)
- Arguing about constitutive and regulative norms (Q4685529) (← links)
- Semantic formalization of interactive reasoning functionality (Q4785094) (← links)
- Constraints for input/output logics (Q5935791) (← links)