scientific article; zbMATH DE number 6407643
From MaRDI portal
Publication:5175694
Collections of articles of miscellaneous specific interest (00B15) General histories, source books (01A05) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)
Cited in
(31)- Computation as social agency: what, how and who
- On the complexity of input/output logic
- A Lewisian taxonomy for deontic logic
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- A probabilistic deontic argumentation framework
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
- Deontology of compound actions
- Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences
- A multi-agent default theory of permission
- Open reading and free choice permission: a perspective in substructural logics
- Mīmāṃsā Deontic Logic: Proof Theory and Applications
- Boolean Game with Prioritized Norms
- On the Complexity of Input/Output Logic
- Obligation, free choice, and the logic of weakest permissions
- Arguing about constitutive and regulative norms
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- Normative reasoning and consequence
- scientific article; zbMATH DE number 3197097 (Why is no real title available?)
- The Good, the Bad and the Right: Formal Reductions among Deontic Concepts
- Tableaux for some deontic logics with the explicit permission operator
- The Jiminy advisor: moral agreements among stakeholders based on norms and argumentation
- Deontic equilibrium logic with explicit negation
- Norms and deontic logic
- Formalization of cognitive-agent systems, trust, and emotions
- A natural conditionalization of the DWE framework
- Deontic sufficiency in dyadic deontic logic
- Handling irresolvable conflicts in the semantic web: an RDF-based conflict-tolerant version of the deontic traditional scheme
- A tutorial in proof-theoretic approaches to logical argumentation
- Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)
- Deontic action logics: a modular algebraic perspective
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5175694)
