Zoekresultaten
Resultaat 1 - 6 (van 6)
G. Bezhanishvili | Nick Bezhanishvili | Dick de Jongh The Kuznetsov-Gerciu and Rieger-Nishimura logics: the boundaries of the finite model property
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Nick Bezhanishvili | Dick de Jongh Intuitionistic logic
Non-fictie
Engels | 57 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Nick Bezhanishvili Lattices of intermediate and cylindric modal logics
Non-fictie
Engels | 224 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2006
Gedrukt boek
Nick Bezhanishvili | Lena Kurzen | Rachel Sterken Student papers from an intuitionistic logic project
Non-fictie
Engels | 79 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Maarten Marx | Nick Bezhanishvili All proper normal extensions of S5-square have the polynomial size model property
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Nick Bezhanishvili | Ian Hodkinson All normal extensions of S5-squared are finitely axiomatizable
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek