Validity and satisfaction in imperative logic

DOI10.1305/ndjfl/1093635415zbMath0712.03002OpenAlexW2035825187MaRDI QIDQ923063

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)

Related Items (7)

Is Unsaying Polite? ⋮ COMPLIANCE AND COMMAND I—CATEGORICAL IMPERATIVES ⋮ COMPLIANCE AND COMMAND II, IMPERATIVES AND DEONTICS ⋮ Commands in dialogue logic ⋮ Logic and semantics for imperatives ⋮ Imperatives: a judgemental analysis ⋮ Action incompleteness

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