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]

Authors

John Christopher McCabe-Dansted

This author has not been identified. Look up 'John Christopher McCabe-Dansted' in Google

Tim French

This author has not been identified. Look up 'Tim French' in Google

Sophie Pinchinat

This author has not been identified. Look up 'Sophie Pinchinat' in Google

Mark Reynolds

This author has not been identified. Look up 'Mark Reynolds' in Google