Expressiveness and succinctness of a logic of robustness

John Christopher McCabe-Dansted, Tim French, Sophie Pinchinat, Mark Reynolds. Expressiveness and succinctness of a logic of robustness. Journal of Applied Non-Classical Logics, 25(3):193-228, 2015. [doi]

Abstract

Abstract is missing.