Action incompleteness

DOI10.1007/BF01028974zbMath0786.03004OpenAlexW4214701520MaRDI QIDQ1207435

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)

Related Items (1)

On bringing it about

Cites Work

• Unnamed Item
• Unnamed Item
• Bringing it about
• Validity and satisfaction in imperative logic
• Axiomatising the logic of computer programming
• Making maximal reliable action maximal*

This page was built for publication: Action incompleteness