Validity and satisfaction in imperative logic

DOI10.1305/NDJFL/1093635415MaRDI QIDQ923063zbMATHOpenAlexFDO

Authors Krister Segerberg

Publication date 1990

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093635415

zbMATH Keywords

imperative logicmodified dynamic logicprescribed actions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Imperatives: a judgemental analysis
• New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
• Problems and results for logics about imperatives
• scientific article; zbMATH DE number 1893245
• scientific article; zbMATH DE number 6741895

Cited in

(17)

• COMPLIANCE AND COMMAND II, IMPERATIVES AND DEONTICS
• Compliance and command. I: Categorical imperatives
• Commands in dialogue logic
• scientific article; zbMATH DE number 6741895 (Why is no real title available?)
• Action incompleteness
• A new dimension of imperative logic
• Imperatives: a judgemental analysis
• Stit-logic for imperatives
• scientific article; zbMATH DE number 1893245 (Why is no real title available?)
• scientific article; zbMATH DE number 65739 (Why is no real title available?)
• Natural deduction for first-order pure imperative logic
• Acts of Commanding and Changing Obligations
• The logic of commands
• New foundations for imperative logic. III: A general definition of argument validity
• Be nice! How simple imperatives simplify imperative logic
• Logic and semantics for imperatives
• Is unsaying polite?

This page was built for publication: Validity and satisfaction in imperative logic

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