ILLC scientific publications

A modal analysis of some principles of the provability logic of Heyting arithmetic / Rosalie Iemhoffschema:ProductModel A negationless interpretation of intuitionistic axiomatic theories: arithmetic and analysis / Victor N. Krivtsovschema:ProductModel A negationless interpretation of intuitionistic axiomatic theories: higher-order arithmetic / Victor N. Krivtsovschema:ProductModel Algorithmic randomness and lowness / Sebastiaan A. Terwijn, Domenico Zambellaschema:ProductModel Canonical pseudo-correspondence / Yde Venemaschema:ProductModel Characterization results for d-Horn formulas / Carlos Areces, Verónica Becher, Sebastián Ferroschema:ProductModel Concepts and axioms / A.S. Troelstraschema:ProductModel Decoding the E+-Class by an A Posteriori, liftable order / Hans de Nivelleschema:ProductModel Dynamic odds & ends / Johan van Benthemschema:ProductModel Lowness for the class of random sets / Antonín Kučera, Sebastiaan A. Terwijnschema:ProductModel Marginalia on sequent calculi / A.S. Troelstraschema:ProductModel Modal logic in two Gestalts / Johan van Benthemschema:ProductModel Points, lines and diamonds: a two-sorted modal logic for projective planes / Yde Venemaschema:ProductModel The interpolation theorem for IL and ILP / Carlos Areces, Dick de Jongh, Eva Hooglandschema:ProductModel The preservation of Sahlqvist equations in completions of Boolean algebras with operators / Steven Givant and Yde Venemaschema:ProductModel Undecidable theories of Lyndon algebras / Yde Venema, Vera Stebletsovaschema:ProductModel