LEADER 04221nam  22006735  450 
001 9910483147803321
005 20200920054235.0
010   $a94-017-8860-X
024 7 $a10.1007/978-94-017-8860-1
035   $a(CKB)3710000000125856
035   $a(EBL)1783761
035   $a(SSID)ssj0001276427
035   $a(PQKBManifestationID)11709100
035   $a(PQKBTitleCode)TC0001276427
035   $a(PQKBWorkID)11239833
035   $a(PQKB)10236347
035   $a(MiAaPQ)EBC1783761
035   $a(DE-He213)978-94-017-8860-1
035   $a(PPN)17976554X
035   $a(EXLCZ)993710000000125856
100   $a20140603d2014      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aLeo Esakia on Duality in Modal and Intuitionistic Logics /$fedited by Guram Bezhanishvili
205   $a1st ed. 2014.
210  1$aDordrecht :$cSpringer Netherlands :$cImprint: Springer,$d2014.
215   $a1 online resource (340 p.)
225 1 $aOutstanding Contributions to Logic,$x2211-2758 ;$v4
300   $aDescription based upon print version of record.
311   $a1-322-17516-0 
311   $a94-017-8859-6 
320   $aIncludes bibliographical references.
327   $aPreface -- Introduction -- Esakia?s Biography -- Canonical extensions, Esakia spaces, and universal models; Mai Gehrke -- Free modal algebras revisited: the step-by-step method; Nick Bezhanishvili, Silvio Ghilardi, and Mamuka Jibladze -- Easkia duality and its extensions; Sergio A. Celani and Ramon Jansana -- On the Blok-Esakia Theorem; Frank Wolter and Michael Zakharyaschev -- Modal logic and the Vietoris functor; Yde Venema and Jacob Vosmaer -- Logic KM: A Biography; Alexei Muravitsky -- Constructive modalities with provability smack; Tadeusz Litak -- Cantor-Bendixson properties of the assembly of a frame; Harold Simmons -- Topological interpretations of provability logic; Lev Beklemishev and David Gabelaia -- Derivational modal logics with the difference modality; Andrey Kudinov and Valentin Shehtman -- Esakia?s Bibliography.
330   $aThis volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia?s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics, and to utilize it to obtain some major results in the area.   Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Gödel-Löb provability logic GL. One chapter scrutinizes Esakia?s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.
410  0$aOutstanding Contributions to Logic,$x2211-2758 ;$v4
606   $aLogic
606   $aLogic, Symbolic and mathematical
606   $aLinguistics
606   $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aTheoretical Linguistics$3https://scigraph.springernature.com/ontologies/product-market-codes/N46000
615  0$aLogic.
615  0$aLogic, Symbolic and mathematical.
615  0$aLinguistics.
615 14$aLogic.
615 24$aMathematical Logic and Formal Languages.
615 24$aTheoretical Linguistics.
676   $a160
702   $aBezhanishvili$b Guram$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483147803321
996   $aLeo Esakia on Duality in Modal and Intuitionistic Logics$92849469
997   $aUNINA