Institute for Logic, Language and Computation (Amsterdam)

" Just because": taking belief bases seriously / Hans Rottschema:ProductModel " She" 's character / Paul Dekkerschema:ProductModel A formal discourse grammar tackling verb phrase anaphora / Hub Prüst, Remko Scha, Martin van den Bergschema:ProductModel A modal theory of arrows : arrow logics I / Dimiter Vakarelovschema:ProductModel A new definition of SLDNF-resolution / Krzysztof R. Apt, Kees Doetsschema:ProductModel A non-monotone Fraenkel-Lévy labelling for the asymmetric combinatorial game on cyclic graphs / Benedikt Löweschema:ProductModel A note on dynamic arrow logic / Johan van Benthemschema:ProductModel A note on interrogatives and adverbs of quantification / Jeroen Groenedijk, Martin Stokhofschema:ProductModel A note on pure variations of axioms of Blackwell determinacy / Benedikt Löweschema:ProductModel A note on the complexity of local search problems / Sophie Fischerschema:ProductModel A remark on the maximal extensions of the relevant logic R / Kazimierz Świrydowiczschema:ProductModel A Sahlqvist theorem for distributive modal logic / Mai Gehrke, Hideo Nagahashi, Yde Venemaschema:ProductModel A set-theoretic translation method for polymodal logics / Giovanna D'Agostino, Angelo Montanari, Alberto Policritischema:ProductModel A smart child of Peano's / V.Yu. Shavrukovschema:ProductModel A system of dynamic modal logic / Maarten de Rijkeschema:ProductModel A tableau calculus for pronoun resolution / Christof Monz, Maarten de Rijkeschema:ProductModel A(nother) characterization of intuitionistic propositional logic / Rosalie Iemhoffschema:ProductModel Accommodating topics / David Beaverschema:ProductModel Algebraic charaterizations of various Beth definability properties / Eva Hooglandschema:ProductModel Algorithmic randomness and lowness / Sebastiaan A. Terwijn, Domenico Zambellaschema:ProductModel ... show all 661

Instituut voor Taal, Logica en Informatie (Amsterdam)schema:Organization