Input/output logics
From MaRDI portal
DOI10.1023/A:1004748624537zbMATH Open0964.03002OpenAlexW2008443647MaRDI QIDQ1582229FDOQ1582229
Authors: David Makinson, Leendert van der Torre 
Publication date: 11 July 2001
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1004748624537
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)
Cites Work
Cited In (55)
- Boolean Game with Prioritized Norms
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Unsettling preferential semantics
- Ten problems of deontic logic and normative reasoning in computer science
- On the complexity of input/output logic
- Two adaptive logics of norm-propositions
- Free choice reasons
- Semantic formalization of interactive reasoning functionality
- Equivalence of defeasible normative systems
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
- Stratification of normative systems with intermediaries
- Normative positions within an algebraic approach to normative systems
- Conflicting imperatives and dyadic deontic logic
- Title not available (Why is that?)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
- Title not available (Why is that?)
- Substantive and procedural norms in normative multiagent systems
- Subordination algebras as semantic environment of input/output logic
- On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach
- From input/output logics to conditional logics via sequents -- with provers
- Situated conditional reasoning
- Arguing about constitutive and regulative norms
- Title not available (Why is that?)
- The logic of reusable propositional output with the fulfilment constraint
- On the Complexity of Input/Output Logic
- Permission to speak: a logic for access control and conformance
- Modelling phenomena and dynamic logic of phenomena
- Title not available (Why is that?)
- The categorical imperative: category theory as a foundation for deontic logic
- Dischargeable Obligations in the 𝒮CIFF Framework
- A concept approach to input/output logic
- Law and logic: a review from an argumentation perspective
- Adaptive logic characterizations of input/output logic
- Obligation as optimal goal satisfaction
- A logic of argumentation for specification and verification of abstract argumentation frameworks
- Computing defeasible meta-logic
- Constraints for input/output logics
- A theory of permission based on the notion of derogation
- Realistic desires
- Intuitionistic basis for input/output logic
- Modal Rules: Extending Defeasible Logic with Modal Operators
- How to build input/output logic
- Permission from an input/output perspective
- AGM contraction and revision of rules
- Violation games: a new foundation for deontic logic
- Formalizing Kant's rules. A logic of conditional imperatives and permissives
- Rethinking epistemic logic with belief bases
- ``Sing and dance!. Input/output logics without weakening
- Computing strong and weak permissions in defeasible logic
- A causal approach to nonmonotonic reasoning
- Title not available (Why is that?)
- Contrary-to-duty reasoning: a categorical approach
- An inferential theory of causal reasoning
- Constrained derivation in assumption-based argumentation
- The Jiminy advisor: moral agreements among stakeholders based on norms and argumentation
This page was built for publication: Input/output logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1582229)
