A lemma in the logic of action

DOI10.1305/NDJFL/1093635416MaRDI QIDQ923065zbMATH OpenOpenAlexWikidataFDO

Authors Timothy J. Surendonk

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/1093635416

zbMATH Keywords

imperative logiclogic of action

Mathematics Subject Classification ID

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

Review text

It is shown that within the imperative logic of \textit{K. Segerberg} [Notre Dame J. Formal Logic 31, 203-221 (1990; Zbl 0712.03002)], a certain rule is sound. In proving this, a result in the underlying logic of action is established, namely that Segerberg's restriction of the set of propositions in a frame is unnecessary.

Recommendations

• scientific article; zbMATH DE number 549971
• scientific article; zbMATH DE number 1499099
• scientific article; zbMATH DE number 1523045
• scientific article; zbMATH DE number 2079521
• Axioms for action
• A dynamic logic of action
• A topological logic of action
• scientific article; zbMATH DE number 1223613
• A reduction of doxastic logic to action logic

Cited in

(2)

• On bringing it about
• Making maximal reliable action maximal*

This page was built for publication: A lemma in the logic of action

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