Applying modal logic

DOI10.1007/BF00370325MaRDI QIDQ1150593zbMATH OpenFDO

Authors Krister Segerberg

Publication date 1980

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completenessdynamic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Cited in

(5)

• Dual choice and iteration in an abstract algebra of action
• Kripke semantics for knowledge representation logics
• A complete logic for reasoning about programs via nonstandard model theory. I
• Performability of actions
• The logic of deliberate action

This page was built for publication: Applying modal logic

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