Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
Modal logic is one of the most widely applied logical formalisms. Systems of
modal logic are being used in many disciplines, ranging from artificial
intelligence, computer science, mathematics, formal grammar and semantics to
philosophy. This volume presents substantial recent advances in the
relational
and the algorithmic treatment of modal logics. It contains papers from the
fifth conference on "Advances in Modal logic," held in Manchester (UK) in
September 2004. Written by leading experts in the field, the present book is
indispensable for any advanced student and researcher in pure and
applied modal
logic.
Modal logic is one of the most widely applied logical formalisms. Systems of
modal logic are being used in many disciplines, ranging from artificial
intelligence, computer science, mathematics, formal grammar and semantics to
philosophy. This volume presents substantial recent advances in the
relational
and the algorithmic treatment of modal logics. It contains papers from the
fifth conference on "Advances in Modal logic," held in Manchester (UK) in
September 2004. Written by leading experts in the field, the present book is
indispensable for any advanced student and researcher in pure and
applied modal
logic.
Details
Erscheinungsjahr: 2005
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9781904987222
ISBN-10: 1904987222
Sprache: Englisch
Einband: Kartoniert / Broschiert
Redaktion: Schmidt, R.
Pratt-Hartmann, I.
Reynolds, M.
Hersteller: College Publications
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 234 x 156 x 22 mm
Von/Mit: R. Schmidt (u. a.)
Erscheinungsdatum: 20.07.2005
Gewicht: 0,611 kg
Artikel-ID: 102284763