Making maximal reliable action maximal*

DOI10.1111/j.1755-2567.1991.tb00542.xzbMath0841.03010OpenAlexW2164547380MaRDI QIDQ4861493

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

propositional dynamic logicaction logicbringing it about operatorprogram forming operator

Mathematics Subject Classification ID

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

Related Items (2)

On bringing it about ⋮ Action incompleteness

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