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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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 forum for presenting the results and 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. This third volume 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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 2,30 für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerGratis für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-145927
Anzahl: 1 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: Used. pp. 424. Artikel-Nr. 18496913
Anzahl: 1 verfügbar
Anbieter: Books From California, Simi Valley, CA, USA
Hardcover. Zustand: Very Good. Very clean, tight and square. Artikel-Nr. mon0003003574
Anzahl: 3 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: Used. pp. 424. Artikel-Nr. 7350980
Anzahl: 1 verfügbar
Anbieter: moluna, Greven, Deutschland
Gebunden. Zustand: New. 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. Artikel-Nr. 599237814
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 424 pages. 9.00x6.25x1.00 inches. In Stock. Artikel-Nr. __9812381791
Anzahl: 1 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - 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. Artikel-Nr. 9789812381798
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9789812381798_new
Anzahl: 1 verfügbar