-
CT-1992-01:
-
Erik de Haas, Peter van Emde Boas
Object Oriented Application Flow Graphs and their Semantics (superseded by X-1992-05)
-
CT-1992-02:
-
Karen L. Kwast, Sieger van Denneheuvel
Weak Equivalence: Theory and Applications
-
CT-1992-03:
-
Krzysztof R. Apt, Kees Doets
A new Definition of SLDNF-resolution
-
LP-1992-01:
-
Víctor Sánchez Valencia
Lambek Grammar: an Information-based Categorial Grammar
-
LP-1992-02:
-
Patrick Blackburn
Modal Logic and Attribute Value Structures
-
LP-1992-03:
-
Szabolcs Mikulás
The Completeness of the Lambek Calculus with respect to Relational Semantics
-
LP-1992-04:
-
Paul Dekker
An Update Semantics for Dynamic Predicate Logic
-
LP-1992-05:
-
David I. Beaver
The Kinematics of Presupposition
-
LP-1992-06:
-
Patrick Blackburn, Edith Spaan
A Modal Perspective on the Computational Complexity of Attribute Value Grammar
-
LP-1992-07:
-
Jeroen Groenendijk, Martin Stokhof
A Note on Interrogatives and Adverbs of Quantification
-
LP-1992-08:
-
Maarten de Rijke
A System of Dynamic Modal Logic
-
LP-1992-09:
-
Johan van Benthem
Quantifiers in the world of Types
-
LP-1992-10:
-
Maarten de Rijke
Meeting Some Neighbours (a dynamic modal logic meets theories of change and knowledge representation)
-
LP-1992-11:
-
Johan van Benthem
A Note on Dynamic Arrow Logic
-
LP-1992-12:
-
Heinrich Wansing
Sequent Caluli for Normal Modal Propositional Logics
-
LP-1992-13:
-
Dag Westerstæhl
Iterated Quantifiers
-
LP-1992-14:
-
Jeroen Groenendijk, Martin Stokhof
Interrogatives and Adverbs of Quantification
-
ML-1992-01:
-
A.S. Troelstra
Comparing the Theory of Representations and Constructive Mathematics
-
ML-1992-02:
-
Dmitrij P. Skvortsov, Valentin B. Shehtman
Maximal Kripke-type Semantics for Modal and Superintuitionistic Predicate Logics
-
ML-1992-03:
-
Zoran Markovic
On the Structure of Kripke Models of Heyting Arithmetic
-
ML-1992-04:
-
Dimiter Vakarelov
A Modal Theory of Arrows, Arrow Logics I
-
ML-1992-05:
-
Domenico Zambella
Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories containing ID0 + EXP
-
ML-1992-06:
-
D.M. Gabbay, Valentin B. Shehtman
Undecidability of Modal and Intermediate First-Order Logics with Two Individual Variables
-
ML-1992-07:
-
Harold Schellinx
How to Broaden your Horizon
-
ML-1992-08:
-
Raymond Hoofman
Information Systems as Coalgebras
-
ML-1992-09:
-
A.S. Troelstra
Realizability
-
ML-1992-10:
-
V.Yu. Shavrukov
A Smart Child of Peano's
-
X-1992-01:
-
Heinrich Wansing
The Logic of Information Structures
-
X-1992-02:
-
Konstantin N. Ignatiev
The Closed Fragment of Dzhaparidze's Polymodal Logic and the Logic of S1 conservativity
-
X-1992-03:
-
Willem Groeneveld
Dynamic Semantics and Circular Propositions (revised version of LP-1991-03)
-
X-1992-04:
-
Johan van Benthem
Modeling the Kinematics of Meaning
-
X-1992-05:
-
Erik de Haas, Peter van Emde Boas
Object Oriented Application Flow Graphs and their Semantics (revised version of CT-1992-01)
-
X-1992-06:
-
Annual Report 1991
