Publisher:w. pl. Institute for Logic, Language and Computation, 2006.
Content descriptions
General Note:
With a note.
Bibliography, etc. Note:
Bibl.: 209-218 p.
Formatted Contents Note:
Lattices of intermediate logics -- Algebraic semantics for intuitionistic logic -- Universal models and frame-baed formulas -- The logic of the Bieger-Nishimura ladder -- II Lattices of culindric modal logics -- Cylindric modal logic and cylindric algebras -- Normal exstensions of S5 -- Normal exstensions of CML2 -- Axiomatization and computational complexsity -- Bibliography -- Index.
Book
