Action incompleteness

DOI10.1007/BF01028974MaRDI QIDQ1207435zbMATH OpenOpenAlexFDO

Authors Krister Segerberg

Publication date 1 April 1993

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01028974

zbMATH Keywords

logic of action

Mathematics Subject Classification ID

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

Review text

This article is reviewed together with the preceding and the following one (see Zbl 0786.03003 and Zbl 0786.03005).

Cites work

• Axiomatising the logic of computer programming
• Bringing it about
• scientific article; zbMATH DE number 3869303 (Why is no real title available?)
• scientific article; zbMATH DE number 169729 (Why is no real title available?)
• Making maximal reliable action maximal*
• Validity and satisfaction in imperative logic

Cited in

(2)

• On bringing it about
• Description of partial actions

This page was built for publication: Action incompleteness

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