FINALMENTE RISOLTO CON:

$stringa=$_POST['miastringa'];

$stringa=stripslashes($stringa);

Era proprio come pensavamo: la stringa ricevuta da JSON aveva bisogno di qualche "ritocchino" prima di essere trasformata in un array con json_decode. Spero che questo esempio servirà in futuro a qualcuno...passo e chiudo...e grazie