Authors:Heinrich Wansing, Michael Zakharyaschev, Frank Wolte
Publisher: World Scientific Publishing Company
Keywords: vol, logic, modal, advances
Number of Pages: 424
Published: 2003-02
List price: $116.00
ISBN-10: 9812381791
ISBN-13: 9789812381798
Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) i
Author: Jennifer Coates
Publisher: Routledge Kegan & Paul
Keywords: linguistics, series, helm, croom, modal, auxiliaries, semantics
Number of Pages: 259
Published: 1983-04
List price: $33.00
ISBN-10: 0709907354
ISBN-13: 9780709907350
Author: Colin Stirling
Publisher: Springer
Keywords: computer, science, texts, processes, temporal, properties, modal
Number of Pages: 190
Published: 2001-06-15
List price: $134.00
ISBN-10: 0387987177
ISBN-13: 9780387987170
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
Author: Rudolf Carnap
Publisher: University Of Chicago Press
Keywords: logic, midway, reprint, modal, semantics, necessity, study, meaning
Number of Pages: 266
Published: 1988-02-15
List price: $30.00
ISBN-10: 0226093476
ISBN-13: 9780226093475
"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence. . . . The chief virtue of the book is its systematic character. From Frege to Quine most philosophical logicians have restricted themselves by piecemeal and local assaults on the problems involved. The book is marked by a genial tolerance. Carnap sees himself as proposing conventions rather than asserting truths. However he provides plenty of matter for argument."—Anthony Quinton, Hibbert Journal
Authors:Dennis Dieks, P.E. Vermaas,
Publisher: Springer
Keywords: series, philosophy, science, ontario, western, interpretation, quantum, mechanics, modal
Number of Pages: 396
Published: 1998-10-31
List price: $191.00
ISBN-10: 0792352076
ISBN-13: 9780792352075
According to the modal interpretation, the standard mathematical framework of quantum mechanics specifies the physical magnitudes of a system, which have definite values. Probabilities are assigned to the possible values that these magnitudes may adopt. The interpretation is thus concerned with physical properties rather than with measurement results: it is a realistic interpretation (in the sense of scientific realism). One of the notable achievements of this interpretation is that it dissolves the notorious measurement problem. The papers collected here, together with the introduct
Author: Stefan Dollinger
Publisher: John Benjamins Publishing Company
Keywords: studies, auxiliaries, language, companion, series, modal, english, dialect, formation, canada, evidence, new
Number of Pages: 355
Published: 2008-01-15
List price: $165.00
ISBN-10: 9027231087
ISBN-13: 9789027231086
Authors:A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay
Publisher: North Holland
Keywords: studies, logic, foundations, mathematics, volume, applications, modal, logics, theory, dimensional
Number of Pages: 766
Published: 2003-11-04
List price: $170.00
ISBN-10: 0444508260
ISBN-13: 9780444508263
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.
