Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of
philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics.

This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The
topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space,
provability logic, dynamic epistemic logic, and the logic of evidence.
Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of
philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics.

This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The
topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space,
provability logic, dynamic epistemic logic, and the logic of evidence.
Details
Erscheinungsjahr: 2012
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9781848900684
ISBN-10: 1848900686
Sprache: Englisch
Einband: Kartoniert / Broschiert
Redaktion: Bolander, Thomas
Brauner, Torben
Ghilardi, Silvio
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 32 mm
Von/Mit: Thomas Bolander (u. a.)
Erscheinungsdatum: 25.06.2012
Gewicht: 0,886 kg
Artikel-ID: 106392534