Advances In Modal Logic, Volume 3
Seiten
2002
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-238-179-8 (ISBN)
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-238-179-8 (ISBN)
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.
Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. 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) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.
Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. 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) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.
From description to hybrid logics, and back, C. Areces and M. de Rijke; homophonic theory of truth for tense logic, Torben Brauner; weak necessity on weak Kleene matrices, F. Correia; bimodal logics for reasoning about continuous dynamics, J.M. Davoren and R.P. Gore; from bisimulation quantifiers to classifying toposes, S. Ghilardi and M. Zawadowski; normal products of modal logics, Y. Hasimoto; a tableau algorithm for the clique guarded fragment, C. Hirsch and S. Tobies; the complexity of reasoning with Boolean modal logics, C. Lutz and U. Sattler; outline of a logic of action, K. Segerberg; belief, names, and modes of presentation, R. Ye and M. Fitting. (Part contents)
| Erscheint lt. Verlag | 24.9.2002 |
|---|---|
| Verlagsort | Singapore |
| Sprache | englisch |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 981-238-179-1 / 9812381791 |
| ISBN-13 | 978-981-238-179-8 / 9789812381798 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
REDLINE (Verlag)
CHF 27,95
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …
Buch | Hardcover (2024)
Penguin (Verlag)
CHF 39,20
