Pages that link to "Item:Q5935791"
From MaRDI portal
The following pages link to Constraints for input/output logics (Q5935791):
Displayed 27 items.
- Adaptive logic characterizations of input/output logic (Q332074) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Normative positions within an algebraic approach to normative systems (Q598543) (← links)
- A concept approach to input/output logic (Q898776) (← 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)
- 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 GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Two adaptive logics of norm-propositions (Q2446539) (← links)
- Violation games: a new foundation for deontic logic ★ (Q2901204) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- On the Complexity of Input/Output Logic (Q3457729) (← links)
- Normative Consequence: The Problem of Keeping It Whilst Giving It up (Q3522049) (← links)
- Remedial interchange, contrary-to-duty obligation and commutation (Q3643260) (← 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)
- (Q4993609) (← links)
- <i>New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers</i>* (Q5275766) (← links)
- A postulate-driven study of logical argumentation (Q6136108) (← links)
- Subordination algebras as semantic environment of input/output logic (Q6160753) (← links)