Input/output logics
From MaRDI portal
Publication:1582229
DOI10.1023/A:1004748624537zbMath0964.03002OpenAlexW2008443647MaRDI QIDQ1582229
Leendert van der Torre, David Makinson
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
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (45)
Semantic formalization of interactive reasoning functionality ⋮ Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ Violation games: a new foundation for deontic logic ★ ⋮ From input/output logics to conditional logics via sequents -- with provers ⋮ Boolean Game with Prioritized Norms ⋮ On the Complexity of Input/Output Logic ⋮ Adaptive logic characterizations of input/output logic ⋮ Normative positions within an algebraic approach to normative systems ⋮ Obligation as optimal goal satisfaction ⋮ Modelling phenomena and dynamic logic of phenomena ⋮ Equivalence of defeasible normative systems ⋮ Permission to speak: a logic for access control and conformance ⋮ Unnamed Item ⋮ On the complexity of input/output logic ⋮ A logic of argumentation for specification and verification of abstract argumentation frameworks ⋮ Modal Rules: Extending Defeasible Logic with Modal Operators ⋮ Formalizing Kant's rules. A logic of conditional imperatives and permissives ⋮ A concept approach to input/output logic ⋮ Law and logic: a review from an argumentation perspective ⋮ Permission from an input/output perspective ⋮ Subordination algebras as semantic environment of input/output logic ⋮ Situated conditional reasoning ⋮ AGM contraction and revision of rules ⋮ Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ Unnamed Item ⋮ Computing strong and weak permissions in defeasible logic ⋮ Two adaptive logics of norm-propositions ⋮ Free choice reasons ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Substantive and procedural norms in normative multiagent systems ⋮ Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base ⋮ Unsettling preferential semantics ⋮ Constraints for input/output logics ⋮ Stratification of normative systems with intermediaries ⋮ A theory of permission based on the notion of derogation ⋮ Arguing about constitutive and regulative norms ⋮ Realistic desires ⋮ Computing defeasible meta-logic ⋮ Rethinking epistemic logic with belief bases ⋮ Dischargeable Obligations in the 𝒮CIFF Framework ⋮ Conflicting imperatives and dyadic deontic logic ⋮ On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach ⋮ Contrary-to-duty reasoning: a categorical approach ⋮ A causal approach to nonmonotonic reasoning
Cites Work
This page was built for publication: Input/output logics
