Andersonian deontic logic, propositional quantification, and Mally
DOI10.1305/NDJFL/1163775445zbMATH Open1120.03016OpenAlexW2019610785MaRDI QIDQ866501FDOQ866501
Authors: Gert-Jan C. Lokhorst
Publication date: 20 February 2007
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: http://resolver.tudelft.nl/uuid:7b47547e-9468-492c-928a-5354c18add70
Recommendations
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Cited In (11)
- Where did Mally go wrong?
- An alternative intuitionistic version of Mally's deontic logic
- Mīmāṃsā Deontic Logic: Proof Theory and Applications
- Propositional Quantifiers in Deontic Logic
- Tableaux for some deontic logics with the explicit permission operator
- Notes on Mally's deontic logic and the collapse of \textit{Seinsollen} and \textit{Sein}
- On logic of strictly-deontic modalities. A semantic and tableau approach
- Anderson's relevant deontic and eubouliatic systems
- Title not available (Why is that?)
- An intuitionistic reformulation of Mally's deontic logic
- ``That will do: logics of deontic necessity and sufficiency
This page was built for publication: Andersonian deontic logic, propositional quantification, and Mally
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866501)