Universiteit van Amsterdam

ILLC Publications, All Series, 1992

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)

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X