BIROn - Birkbeck Institutional Research Online

    Advances in modal logic 3: papers from the third conference on advances in modal logic

    Wolter, F. and Wansing, H. and de Rijke, M. and Zakharyaschev, Michael, eds. (2002) Advances in modal logic 3: papers from the third conference on advances in modal logic. World Scientific. ISBN 9789812381798.

    Full text not available from this repository.

    Abstract

    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. Contents: From Description to Hybrid Logics, and Back (C Areces & M de Rijke) Homophonic Theory of Truth for Tense Logic (Torben Braüner) Weak Necessity on Weak Kleene Matrices (F Correia) Bimodal Logics for Reasoning About Continuous Dynamics (J M Davoren & R P Goré) From Bisimulation Quantifiers to Classifying Toposes (S Ghilardi & M Zawadowski) Normal Products of Modal Logics (Y Hasimoto) A Tableau Algorithm for the Clique Guarded Fragment (C Hirsch & S Tobies) The Complexity of Reasoning with Boolean Modal Logics (C Lutz & U Sattler) Outline of a Logic of Action (K Segerberg) Belief, Names, and Modes of Presentation (R Ye & M Fitting) and other papers

    Metadata

    Item Type: Book
    Additional Information: DOI: 10.1142/5114
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 08 Nov 2021 14:25
    Last Modified: 08 Nov 2021 14:25
    URI: https://eprints.bbk.ac.uk/id/eprint/46628

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    27Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item