Other groups in computer science and cognitive science have associated themselves with the institute in The ILLC is rooted in the Amsterdam logic research tradition dating back to the early twentieth century including researchers such as L. It considers Beth's Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen founded in as its precursor.
From Wikipedia, the free encyclopedia. This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Read more.
Cockett P. Steve Awodey Carsten Butz Arnon Avron. Fixed point theorems for precomplete numberings Henk Barendregt Sebastiaan A. Philipp Hieronymi. Arnold Beckmann Sam Buss.
Sebastien Vasey. Will Boney Rami Grossberg Roman Kuznets.
Robert Goldblatt Ian Hodkinson. Henk Barendregt Sebastiaan A. Most Cited Articles The most cited articles published since , extracted from Scopus.
Open Archive. All articles published after 48 months have unrestricted access and will remain permanently free to read and download. Rod Downey Alexander G. Brent Cody Victoria Gitman. Palmigiano, U. ArXiv preprint Balco, S. Frittella, G.
Kurz, A. Palmigiano, Software tool support for modular reasoning in modal logics of actions , Proc. ITP , forthcoming. Palmigiano, S. Sourabh, Z. Zhao, Sahlqvist theory for impossible worlds , Journal of Logic and Computation , 27 3 , , Frittella, A.
Palmigiano, L. Santocanale, Dual characterizations for finite lattices via correspondence theory for monotone modal logic , Journal of Logic and Computation , 27 3 , , Conradie, A. Sourabh, Algebraic modal correspondence: Sahlqvist and beyond , Journal of Logical and Algebraic Methods in Programming , 91, , Yang and J. Ma, Z.
Zhao, Unified correspondence and proof theory for strict implication , Journal of Logic and Computation , 27 3 , pp. Bezhanishvili, D.
Tzimoulis, Z. Conradie, S. Palmigiano, M. Piazzai, A. Wijnberg, Toward an epistemic-logical theory of categorization , Proc.
TARK , J. Lang ed.