 |
Advances in Modal Logic : Vol 3
Editor: Wolter, Frank; Editor: Wansing, Heinrich
Hardback; Book 420 pages Published: September 2002 World Scientific Publishing Co Pte Ltd
ISBN: 9812381791 This item non-returnable. All sales final. Order may not be canceled after confirmation.
A presentation of advances in the relational model theory and the algorithmic treatment of modal logics. It contains papers from the third conference on Advances in Modal Logic, and covers dynamic logic, description logics, hybrid logics, epistemic logics, tense logic, action logic, and more.

|