Relational Semantics
Alexander Chagrov, Michael Zakharyaschev · 1997
Abstract Having solved the completeness problem, the algebraic semantics, introduced in the previous chapter, deprives us, however, of that transparent interpretation of logical connectives which made it possible to construct models for formulas by analyzing step by step their subformulas and adding new points, if necessary. In other words, we have lost that thread which connected the structure of formulas with the “geometry” of their models. Fortunately, this is not that case when “gaining in force we lose in distance”. In this chapter we define a more general concept of frame, combining in itself the merits of both algebras and Kripke frames.