scientific article; zbMATH DE number 3926881

zbMATH Open0579.03013MaRDI QIDQ3701400FDOQ3701400

Authors: Jules Speller 

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• A decision procedure for von Wright's OBS-calculus
• Publication:4938866
• Proof analysis in deontic logics
• scientific article; zbMATH DE number 3924753
• Logical approaches to deontic reasoning: From basic questions to dynamic solutions

zbMATH Keywords

criterion of deontic unsatisfiability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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 Q3701400)