Search Results - Bezhanishvili, Nick
- Showing 1 – 10 results of 10
-
1Varieties of two-dimensional diagonal-free cylindric algebrasBand 2by Bezhanishvili, NickPublished 2002Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
2Intuitionistic logicPublished 2006Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
3Transfer results for hybrid logic: the case without satisfaction operatorsPublished 2004Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
4Varieties of two-dimensional diagonal-free cylindric algebrasCall Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
5The Kuznetsov-Gerciu and Rieger-Nishimura logics: the boundaries of the finite model propertyPublished 2008Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
6All normal extensions of S5-squared are finitely axiomatizablePublished 2003Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
7Varieties of two-dimensional diagonal-free cylindric algebrasBand 1by Bezhanishvili, NickPublished 2000Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
8All proper normal extensions of S5-square have the polynomial size model propertyPublished 2000Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
9Lectures on logic and computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 ; selected lecture notesPublished 2012Other Authors: “…Bezhanishvili, Nick…”
Call Number: Loading…
Located: Loading…Conference Proceedings Book Loading… -
10Dick de Jongh on intuitionistic and provability logicsPublished 2024Other Authors: “…Bezhanishvili, Nick…”
Call Number: Loading…Order via interlibrary loan
Located: Loading…Electronic eBook Loading…