Browse by Title
5 books by de Rijke, Maarten

Advances in Modal Logic, Volume 1
Edited by Marcus Kracht, Maarten de Rijke, Heinrich Wansing, and Michael Zakhary
CSLI, 1998
Library of Congress BC199.M6A38 1998  Dewey Decimal 160
Modal logic originated in philosophy as the logic of necessity and possibility. Nowadays it has reached a high level of mathematical sophistication and found many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics.
This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 810, 1996. It offers an uptodate perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings.
"This collection is a useful resource for anyone working in modal logic. It contains both interesting surveys and cuttingedge technical results"
Edwin D. Mares
The Bulletin of Symbolic Logic, March 2002
Expand Description


Logic Colloquium '92
Edited by Lázló Csirmaz, Dov M. Gabbay, and Maarten de Rijke
CSLI, 1995
Library of Congress BC135.L576 1995  Dewey Decimal 511.3
Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszpre;m, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems. The present volume contains a selection of papers that grew out of invited and contributed talks on these themes. Most of the papers have a strong interdisciplinary flavour as they investigate logical properties of formal systems by studying algebraic properties of corresponding classes of algebras, or vice versa. The remaining papers focus on connected areas from model theory and the combination of logics. This is a useful and timely volume on algebraic logic and related areas, with contributions by leading people in the field.
Expand Description


Logic, Langage and Computation, Volume 2
Edited by Lawrence S. Moss, Jonathan Ginzburg, and Maarten de Rijke
CSLI, 1999
Library of Congress P39.L593 1996  Dewey Decimal 410.285
The fields of logic, linguistics and computer science are intimately related, and modern research has uncovered a wide range of connections. This collection focuses on work that is based on the unifying concept of information. This collection of nineteen papers covers subjects such as channel theory, presupposition and constraints, the modeling of discourse, and belief. They were all presented at the 1996 Conference on InformationTheoretic Approaches to Logic, Language, Information, and Computation.
Expand Description


Modal Logic and Process Algebra
Edited by Alban Ponse, Maarten de Rijke, and Yde Venema
CSLI, 1995
Library of Congress QA267.3.M63 1995  Dewey Decimal 005.131
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an uptodate overview of perspectives on labeled transition systems and bisimulations.
Expand Description


Specifying Syntactic Structures
Edited by Patrick Blackburn and Maarten de Rijke
CSLI, 1997
Library of Congress P291.S55 1997  Dewey Decimal 415
The papers in this book apply mathematical and logical methods to the description of linguistic structures. Such descriptions are useful for a variety of purposes. For example, they make it easier to design and debug software for dealing with human languages. The purpose of the volume is to introduce a number of new and better methods for describing linguistic structures. The volume contains contributions on the logical foundations of current syntactic theories, as well as on logical methods that lead to new ways of describing syntactic structures.
Expand Description


