uva.nl

Institute for Logic, Language and Computation

Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1998-14:
Yde Venema, Vera Stebletsova Undecidable theories of Lyndon algebras
ML-1998-13:
Yde Venema Canonical Pseudo-Correspondence
ML-1998-12:
Johan van Benthem Modal Logic in Two Gestalts
ML-1998-11:
Carlos Areces, Dick de Jongh, Eva Hoogland The Interpolation Theorem for IL and ILP
ML-1998-10:
Carlos Areces, Verónica Becher, Sebastián Ferro Characterization Results for d-Horn Formulas
ML-1998-09:
Rosalie Iemhoff A Modal Analysis of Some Principles of the Provability Logic of Heyting Arithmetic
ML-1998-08:
Johan van Benthem Dynamic Odds & Ends
ML-1998-07:
Victor N. Krivtsov A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-Order Arithmetic
ML-1998-06:
Victor N. Krivtsov A Negationless Interpretation of Intuitionistic Axiomatic Theories: Arithmetic and Analysis
ML-1998-05:
Steven Givant, Yde Venema The Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators
ML-1998-04:
Yde Venema Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes
ML-1998-03:
Hans de Nivelle Decoding the $E^+$-Class by an A Posteriori, Liftable Order
ML-1998-02:
A.S. Troelstra Concepts and Axioms
ML-1998-01:
A.S. Troelstra Marginalia on Sequent Calculi
ML-1997-08:
Antonín Kucera, Sebastiaan A. Terwijn Lowness for the Class of Random Sets
ML-1997-07:
Sebastiaan A. Terwijn, Domenico Zambella Algorithmic Randomness and Lowness
ML-1997-06:
Johan van Benthem Modality, Bisimulation and Interpolation in Infinitary Logic
ML-1997-05:
Johan van Benthem The Range of Modal Logic: an Essay in Memory of George Gargov
ML-1997-04:
Ian Hodkinson, Szabolcs Mikulás Non-finitely axiomatizable, union-free reducts of algebras of relations
ML-1997-03:
Giovanna D'Agostino The Łoś–Tarski and Lyndon Theorem for the $\mu$-logic
ML-1997-02:
Maarten Marx Complexity of Modal Logics of Relations
ML-1997-01:
Dick de Jongh, Giorgi Japaridze The Logic of Provability
ML-1996-13:
Lex Hendriks Intuitionistic Propositional Logic with only Equivalence has no Interpolation
ML-1996-12:
Jon Barwise, Johan van Benthem Interpolation, Preservation, and Pebble Games
ML-1996-11:
Domenico Zambella Forcing in Finite Structures (revised version of ML-1996-02)
ML-1996-10:
Vladimir Kanovei On a Dichotomy related to Colourings of Definable Graphs in Generic Models
ML-1996-08:
Johan van Benthem, Angelo Montanari, Giovanna D'Agostino, Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory - II
ML-1996-07:
Angelo Montanari, Adriano Peron, Alberto Policriti Decidable Theories of $\omega$-Layered Metric Temporal Structures
ML-1996-06:
Angelo Montanari, Alberto Policriti A Decidable Theory of Finitely-Layered Metric Temporal Structures
ML-1996-05:
Søren Riis Count($q$) versus the Pigeon-Hole Principle
ML-1996-04:
Kees Doets Proper Classes
ML-1996-03:
Hajnal Andréka, Johan van Benthem, István Németi Modal Languages and Bounded Fragments of Predicate Logic
ML-1996-02:
Domenico Zambella On Forcing in Bounded Arithmetic (superseded by ML-1996-11)
ML-1996-01:
Domenico Zambella Algebraic Methods and Bounded Formulas
ML-1995-10:
Alexei P. Kopylov The Undecidability of Second Order Linear Affine Logic
ML-1995-09:
Hiroakira Ono Decidability and Finite Model Property of Substructural Logics
ML-1995-08:
Eric Rosen Modal Logic over Finite Structures
ML-1995-07:
Johan van Benthem Modal Foundations of Predicate Logic
ML-1995-06:
Dick de Jongh, Albert Visser Embeddings of Heyting Algebras (revised version of ML-1993-14)
ML-1995-05:
Natasha Alechina, Michiel van Lambalgen Generalized Quantification as Substructural Logic
ML-1995-04:
Hajnal Andréka, Johan van Benthem, István Németi Back and Forth between Modal Logic and Classical Logic
ML-1995-03:
Vladimir Kanovei, Michiel van Lambalgen On a Spector Ultrapower of the Solovay Model
ML-1995-02:
Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory
ML-1995-01:
Michiel van Lambalgen Randomness and Infinity
ML-1994-13:
Marco R. Vervoort An Elementary Construction of an Ultrafilter on $\aleph_1$ Using the Axiom of Determinateness
ML-1994-12:
Victor Selivanov Fine Hierarchy and Definability in the Lindenbaum Algebra
ML-1994-11:
Natasha Alechina On One Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic
ML-1994-10:
Elena Nogina Logic of Proofs with the Strong Provability Operator
ML-1994-09:
Giovanna D'Agostino, Angelo Montanari, Alberto Policriti A Set-Theoretic Translation Method for Polymodal Logics
ML-1994-08:
Andreja Prijatelj Free Algebras Corresponding to Multiplicative Classical Linear Logic and some Extensions
ML-1994-07:
Sergei Artëmov, Artëm Chuprina Logic of Proofs with Complexity Operators
ML-1994-06:
Lex Hendriks, Dick de Jongh Finitely Generated Magari Algebras and Arithmetic
ML-1994-05:
V. Kanovei IST is more than an Algorithm to prove ZFC Theorems
ML-1994-04:
Michiel van Lambalgen Independence Structures in Set Theory
ML-1994-03:
Johan van Benthem, Dick de Jongh, Gerard Renardel de Lavalette, Albert Visser NNIL, A Study in Intuitionistic Propositional Logic
ML-1994-02:
Domenico Zambella End Extensions of Models of Linearly Bounded Arithmetic
ML-1994-01:
Domenico Zambella Notes on polynomially bounded arithmetic
ML-1993-22:
Andreja Prijatelj Connectification for $n$-contraction
ML-1993-21:
Max I. Kanovich The Relational Knowledge-Base Interpretation and Feasible Theorem Proving for Intuitionistic Propositional Logic
ML-1993-20:
L.A. Chagrova, Dick de Jongh The Decidability of Dependency in Intuitionistic Propositional Logic
ML-1993-19:
Raymond Hoofman Comparing Models of the Non-Extensional Typed l-Calculus
ML-1993-18:
Jaap van Oosten Extensional Realizability
ML-1993-17:
Alexander Chagrov, Michael Zakharyaschev On the Independent Axiomatizability of Modal and Intermediate Logics
ML-1993-16:
Maarten de Rijke Correspondence Theory for Extended Modal Logics
ML-1993-15:
G.K. Dzhaparidze Effective Truth
ML-1993-14:
Dick de Jongh, Albert Visser Embeddings of Heyting Algebras (superseded by ML-1995-06)
ML-1993-13:
V.Yu. Shavrukov Undecidability in Diagonizable Algebras
ML-1993-12:
V.Yu. Shavrukov Remarks on Uniformly Finitely Precomplete Positive Equivalences
ML-1993-11:
Lex Hendriks Inventory of Fragments and Exact Models in Intuitionistic Propositional Logic
ML-1993-10:
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs
ML-1993-09:
A.S. Troelstra Natural Deduction for Intuitionistic Linear Logic
ML-1993-08:
Raymond Hoofman, Ieke Moerdijk Remarks on the Theory of Semi-Functors
ML-1993-07:
A.V. Chagrov, L.A. Chagrova Algorithmic Problems Concerning First-Order Definability of Modal Formulas on the Class of All Finite Frames
ML-1993-06:
J. Zashev Categorial Generalization of Algebraic Recursion Theory
ML-1993-05:
Raymond Hoofman, Harold Schellinx Models of the Untyped l-calculus in Semi Cartesian Closed Categories
ML-1993-04:
Andreja Prijatelj Bounded Contraction and Many-Valued Semantics
ML-1993-03:
Mati Pentus The Conjoinablity Relation in Lambek Calculus and Linear Logic
ML-1993-02:
Johan van Benthem, Natasha Alechina Modal Quantification over Structured Domains
ML-1993-01:
Maciej Kandulski Commutative Lambek Categorial Grammars
ML-1992-10:
V.Yu. Shavrukov A Smart Child of Peano's
ML-1992-09:
A.S. Troelstra Realizability
ML-1992-08:
Raymond Hoofman Information Systems as Coalgebras
ML-1992-07:
Harold Schellinx How to Broaden your Horizon
ML-1992-06:
D.M. Gabbay, Valentin B. Shehtman Undecidability of Modal and Intermediate First-Order Logics with Two Individual Variables
ML-1992-05:
Domenico Zambella Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories containing ID0 + EXP
ML-1992-04:
Dimiter Vakarelov A Modal Theory of Arrows, Arrow Logics I
ML-1992-03:
Zoran Markovic On the Structure of Kripke Models of Heyting Arithmetic
ML-1992-02:
Dmitrij P. Skvortsov, Valentin B. Shehtman Maximal Kripke-type Semantics for Modal and Superintuitionistic Predicate Logics
ML-1992-01:
A.S. Troelstra Comparing the Theory of Representations and Constructive Mathematics
ML-1991-12:
Johan van Benthem Modal Frame Classes, revisited
ML-1991-11:
Rineke Verbrugge Feasible Interpretability
ML-1991-10:
Maarten de Rijke, Yde Venema Sahlqvist's Theorem for Boolean Algebras with Operators
ML-1991-09:
V.Yu. Shavrukov A Note on the Diagonalizable Algebras of PA and ZF
ML-1991-08:
Inge Bethke Going Stable in Graph Models
ML-1991-07:
Yde Venema Modal Derivation Rules
ML-1991-06:
Inge Bethke Finite Type Structures within Combinatory Algebras
ML-1991-05:
A.S. Troelstra History of Constructivism in the Twentieth Century
ML-1991-04:
Raymond Hoofman, Harold Schellinx Collapsing Graph Models by Preorders
ML-1991-03:
Domenico Zambella On the Proofs of Arithmetical Completeness for Interpretability Logic
ML-1991-02:
Alessandro Berarducci, Rineke Verbrugge On the Metamathematics of Weak Theories
ML-1991-01:
Yde Venema Cylindric Modal Logic
ML-1990-11:
Paul C. Gilmore The Consistency of an Extended NaDSet
ML-1990-10:
Michiel van Lambalgen Randomness in Set Theory
ML-1990-09:
Dick de Jongh, Duccio Pianigiani Solution of a Problem of David Guaspari
ML-1990-08:
Harold Schellinx Some Syntactical Observations on Linear Logic
ML-1990-07:
Maarten de Rijke A Note on the Interpretability Logic of Finitely Axiomatized Theories
ML-1990-06:
Jaap van Oosten Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman
ML-1990-05:
Domenico Zambella Sequences with Simple Initial Segments
ML-1990-04:
Maarten de Rijke Unary Interpretability Logic
ML-1990-03:
Yde Venema Relational Games
ML-1990-02:
Jaap van Oosten A Semantical Proof of De Jongh's Theorem
ML-1990-01:
Harold Schellinx Isomorphisms and Non-Isomorphisms of Graph Models
ML-1989-09:
Allesandro Carbone Provable Fixed Points in $I\Delta_0+\Omega_1$.
ML-1989-08:
Dirk Roorda Investigations into Classical Linear Logic
ML-1989-07:
Dirk Roorda Elementary Inductive Definitions in HA: from Strictly Positive towards Monotone
ML-1989-06:
Michiel van Lambalgen The Axiomatization of Randomness
ML-1989-05:
Rineke Verbrugge $\Sigma$-Completeness and Bounded Arithmetic
ML-1989-04:
Dick de Jongh, Marc Jumulet, Franco Montagna On the Proof of Solovay's Theorem
ML-1989-03:
Dick de Jongh, Franco Montagna Rosser Orderings and Free Variables
ML-1989-02:
Roel de Vrijer Extending the Lambda Calculus with Surjective Pairing is conservative
ML-1989-01:
Dick de Jongh, Albert Visser Explicit Fixed Points for Interpretability Logic
ML-1988-05:
A.S. Troelstra Remarks on Intuitionism and the Philosophy of Mathematics
ML-1988-04:
A.S. Troelstra On the Early History of Intuitionistic Logic
ML-1988-03:
Dick de Jongh, Frank Veltman Provability Logics for Relative Interpretability
ML-1988-02:
M.D.G. Swaen The Arithmetical Fragment of Martin L\"of's Type Theories with weak $\Sigma$-Elimination
ML-1988-01:
Jaap van Oosten Lifschitz' Realizability