Aller au contenu principal

Some Systems for Formalising Sentences Containing Definite Descriptions by a Binary Quantifier and some Thoughts on Modal Logic

isp | Louvain-la-Neuve