ILLC prepublication series

A modal theory of arrows : arrow logics I / Dimiter Vakarelovschema:ProductModel A smart child of Peano's / V.Yu. Shavrukovschema:ProductModel Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames / A.V. Chagrov, L.A. Chagrovaschema:ProductModel Bounded contraction and many-valued semantics / Andreja Prijateljschema:ProductModel Categorial generalization of algebraic recursion theory / J. Zashezschema:ProductModel Commutative Lambek categorial grammars / Maciej Kandulskischema:ProductModel Comparing models of the non-extensional typed →l⇋-calculus / Raymond Hoofmanschema:ProductModel Comparing the theory of representations and constructive mathematics / A.S. Troelstraschema:ProductModel Correspondence theory for extended modal logics / Maarten de Rijkeschema:ProductModel Effective truth / G.K. Dzhaparidzeschema:ProductModel Embeddings of Heyting algebras / Dick de Jongh, Albert Visserschema:ProductModel Extensional realizability / Jaap van Oostenschema:ProductModel Information systems as coalgebras / Raymond Hoofmanschema:ProductModel Inventory of fragments and exact models in intuitionistic propositional logic / Lex Hendriksschema:ProductModel Maximal Kripke-type semantics for modal and superintuitionistic predicate logics / Dmitrij P. Skvortsov, Valentin B. Shehtmanschema:ProductModel Modal quantification over structured domains / Johan van Benthem, Natasha Alechinaschema:ProductModel Models of the untyped l-calculus in semi Cartesian closed categories / Raymond Hoofman, Harold Schellinxschema:ProductModel Natural deduction for intuitionistic linear logic / A.S. Troelstraschema:ProductModel On the independent axiomatizability of modal and intermediate logics / Alexander Chagrov, Michael Zakharyaschevschema:ProductModel On the structure of Kripke models of Heytingh arithmetic / Zoran Markovićschema:ProductModel ... show all 29