Advances in Modal Logic: Volume 9

Thomas Bolander (Editor), Torben Braüner (Editor), Silvio Ghilardi (Editor), Lawrence Moss (Editor)

    Research output: Book/ReportBookResearch

    Abstract

    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.
    Original languageEnglish
    PublisherCollege Publications
    Number of pages592
    ISBN (Print)978-1-84890-068-4
    Publication statusPublished - 2012
    EventAdvances in Modal Logic 2012 - Copenhagen, Denmark
    Duration: 22 Aug 201225 Aug 2012
    Conference number: 9
    http://hylocore.ruc.dk/aiml2012/

    Conference

    ConferenceAdvances in Modal Logic 2012
    Number9
    CountryDenmark
    CityCopenhagen
    Period22/08/201225/08/2012
    Internet address

    Fingerprint Dive into the research topics of 'Advances in Modal Logic: Volume 9'. Together they form a unique fingerprint.

    Cite this