Be nice! How simple imperatives simplify imperative logic
From MaRDI portal
(Redirected from Publication:484191)
Recommendations
Cites work
- scientific article; zbMATH DE number 4051556 (Why is no real title available?)
- scientific article; zbMATH DE number 3392411 (Why is no real title available?)
- New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
- Deontic Logic in Computer Science
- In defense of imperative inference
- The logic of conditional obligation. Comments by Harry Beatty
Cited in
(5)
This page was built for publication: Be nice! How simple imperatives simplify imperative logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q484191)