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 advance 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) in October 2000. It includes papers on dynamic logic,
description logics, hybrid logics, epistemic logics, combinations
of modal logics, tense logic, action logic, provability logic, and
modal predicate logic.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!