Lattices of intermediate and cylindric modal logics / Academisch Proefschrift DS-2006-02 Bezhanishvili, Nick.; Res.Org.: Faculteit der Natuurwetenschappen, Wiskunde en Informatia.
Record details
- ISBN: 9057761475
- Physical Description: 224[2] p.
- 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. |
Search for related items by subject
Subject: | / / |
Search for related items by series
Available copies
- 1 of 1 copy available at United Catalog.
Holds
- 0 current holds with 1 total copy.
Show All Copies
Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
---|---|---|---|---|---|
Grigol Tsereteli Reading Hall | ლ.მჭედლ-17 | 900001915882 | Stacks | Available | - |