Dialogical semantics
Example (continued). The initial verifier has a strategy to win G(?p ? ?q; M):
Choose to play G(?q; M).
Since the initial verifier has a winning strategy in G(?p ? ?q; M), by definition ?p ? ?q is true in a model M in which p is true and q false.
Previous slide
Next slide
Back to first slide
View graphic version