Constraints for input/output logics
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 2019850
- Moral Particularism and Deontic Logic
- Permission from an input/output perspective
- The logic of reusable propositional output with the fulfilment constraint
- Alternative approaches to default logic
- Expressing Default Logic Variants in Default Logic
- scientific article; zbMATH DE number 611093
- Abstract interfaces of input/output logic
- On the relation between Reiter's default logic and its (major) variants
- scientific article; zbMATH DE number 7085150
Cites work
- scientific article; zbMATH DE number 3831894 (Why is no real title available?)
- scientific article; zbMATH DE number 1301748 (Why is no real title available?)
- scientific article; zbMATH DE number 1052534 (Why is no real title available?)
- scientific article; zbMATH DE number 1163996 (Why is no real title available?)
- scientific article; zbMATH DE number 1405873 (Why is no real title available?)
- A logic for default reasoning
- A logical framework for default reasoning
- An Analysis of some Deontic Logics
- Contrary-to-duty reasoning with preference-based dyadic obligations
- Input/output logics
- On the logic of theory change: Partial meet contraction and revision functions
Cited in
(42)- Unsettling preferential semantics
- Ten problems of deontic logic and normative reasoning in computer science
- On the complexity of input/output logic
- Remedial interchange, contrary-to-duty obligation and commutation
- Two adaptive logics of norm-propositions
- A postulate-driven study of logical argumentation
- Logical Aspects of Computational Linguistics
- A tutorial in proof-theoretic approaches to logical argumentation
- Equivalence of defeasible normative systems
- Normative positions within an algebraic approach to normative systems
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
- Substantive and procedural norms in normative multiagent systems
- Subordination algebras as semantic environment of input/output logic
- Normative Consequence: The Problem of Keeping It Whilst Giving It up
- Input/output logic with a consistency check -- the case of permission
- The logic of reusable propositional output with the fulfilment constraint
- Arguing about constitutive and regulative norms
- On the Complexity of Input/Output Logic
- Believing in default rules: inclusive default reasoning
- Inhibited Effects in CP-Logic
- Modelling phenomena and dynamic logic of phenomena
- The categorical imperative: category theory as a foundation for deontic logic
- scientific article; zbMATH DE number 2019850 (Why is no real title available?)
- A concept approach to input/output logic
- Adaptive logic characterizations of input/output logic
- Normative reasoning and consequence
- Hypothesis-driven disjunctive reasoning in logical argumentation
- A logic of argumentation for specification and verification of abstract argumentation frameworks
- Constraints in non-Boolean contexts
- New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
- A theory of permission based on the notion of derogation
- Combining constitutive and regulative norms in input/output logic
- Realistic desires
- Abstract interfaces of input/output logic
- Permission from an input/output perspective
- AGM contraction and revision of rules
- Input/output logics
- Violation games: a new foundation for deontic logic
- An embedding of input-output logic in deontic logic programs
- ``Sing and dance!. Input/output logics without weakening
- scientific article; zbMATH DE number 7085150 (Why is no real title available?)
- Contrary-to-duty reasoning: a categorical approach
This page was built for publication: Constraints for input/output logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5935791)
