Ritorna ai dettagli dell'articolo Codifica, inferenze ed aspetti (non?) vero-funzionali nei periodi ipotetici