Partiality, Truth and Persistence( No. 15) H 160 p. 88
内容
We know what it means for a sentence to be true or false in a classical,complete model, but how do we extend this relation when partial models areintroduced? This study in spatial model theory, the theory of partiallydefined models, answers this question.