Making maximal reliable action maximal*

DOI10.1111/J.1755-2567.1991.TB00542.XMaRDI QIDQ4861493zbMATH OpenOpenAlexFDO

Authors Timothy J. Surendonk

Publication date 13 February 1996

Published in Theoria (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1755-2567.1991.tb00542.x

zbMATH Keywords

action logicbringing it about operatorprogram forming operatorpropositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in computer science (03B70)

Recommendations

• On bringing it about
• A dynamic logic of action
• Action and ability
• A lemma in the logic of action
• Bringing it about

Cited in

(2)

• Action incompleteness
• On bringing it about

This page was built for publication: Making maximal reliable action maximal*

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