articles in general and definite articles in particular can create problems even long after all other aspects of english have been mastered. the present article investigated the learnability problems related to the acquisition of count-mass distinction of english nominals by persian l2 learners. the theoretical underpinning of the study is the interpretability hypothesis (tsimpli & dimitrak...

Articles in general and definite articles in particular can create problems even long after all other aspects of English have been mastered. The present article investigated the learnability problems related to the acquisition of count-mass distinction of English nominals by Persian L2 learners. The theoretical underpinning of the study is the interpretability hypothesis (Tsimpli & Dimitrakopou...

the definiteness feature in english is both lf and pf interpretable while persian is a language in which this feature is lf-interpretable but pf-uninterpretable. hence, there is no overt article or morphological inflection in persian denoting a definite context. furthermore, persian partially encodes specificity not definiteness. in definiteness both the speaker and hearer are involved while in...

tsimpli and dimitrakopoulou (2007) observed that uninterpretable features are unavailable in second language (l2) acquisition after the critical period. in this paper, we verify this claim by providing evidence from persian speaking learners of english as an l2 on the status of resumptive pronouns (rps) as uniterpretable features. unlike english which does not allow rps, persian shows various b...

The definiteness feature in English is both LF and PF interpretable while Persian is a language in which this feature is LF-interpretable but PF-uninterpretable. Hence, there is no overt article or morphological inflection in Persian denoting a definite context. Furthermore, Persian partially encodes specificity not definiteness. In definiteness both the speaker and hearer are involved while in...

In this paper we consider IL0, the closed fragment of the basic interpretability logic IL. We show that we can translate GL1, the one variable fragment of Gödel-Löb’s provabilty logic GL, into IL0. Invoking a result on the PSPACE completeness of GL1 we obtain the PSPACE hardness of IL0.

In this paper we determine a characteristic class of ILsetframes for the principle F. Then we prove that the principle P is not provable in the system ILF. We use a generalized Veltman model.

In this paper, we develop a toolkit to derive principles for the interpetability logic of all reasonable theories by fine-tuning ILM and ILP proofs.