Conditional normative reasoning as a fragment of HOL

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
Handbook of philosophical logic. Volume II: Extensions of classical logic
Nonmonotonic reasoning, preferential models and cumulative logics
An analysis of Hansson's dyadic deontic logic
Basic conditional logic
Five faces of minimality
An introduction to mathematical logic and type theory: To truth through proof.
Embedding and automating conditional logics in classical higher-order logic
Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
Extending Sledgehammer with SMT solvers
Semiorders and a Theory of Utility Discrimination
Maximization and the Act of Choice
Hammering towards QED
COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F
An Analysis of some Deontic Logics
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
Deontic Logic in Computer Science
Solving modal logic problems by translation to higher-order logic
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy
On some weakened forms of transitivity in the logic of conditional obligation

This page was built for publication: Conditional normative reasoning as a fragment of HOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6650731)