Zoekresultaten
Resultaat 1 - 2 (van 2)
G. Bezhanishvili | Mai Gehrke A new proof of completeness of S4 with respect to the real line
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Johan van Benthem | G. Bezhanishvili | Mai Gehrke Euclidean hierachy in modal logic
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek