Dialogical semantics
Given:
a language L and a model M
(i.e., any atomic sentence has a definite truth value).
For any sentence ?, a two-persons game G(? ; M) is defined in order to determine the truth or falsity of ?
Previous slide
Next slide
Back to first slide
View graphic version