Volume 7, Issue 1, March 2013

Special Issue on Multimodal Logics

ISSN: 1661-8297 (Print) 1661-8300 (Online)

In this issue (8 articles)

  1. No Access

    OriginalPaper

    Special Issue on Multimodal Logics: A Preface

    Walter Carnielli, Claudio Pizzi Pages 1-5
    Look Inside Get Access

  2. No Access

    OriginalPaper

    Quantified Multimodal Logics in Simple Type Theory

    Christoph Benzmüller, Lawrence C. Paulson Pages 7-20
    Look Inside Get Access

  3. No Access

    OriginalPaper

    Multimodal Incompleteness Under Weak Negations

    Juliana Bueno-Soler Pages 21-31
    Look Inside Get Access

  4. No Access

    OriginalPaper

    On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators

    Carlos Caleiro, Luca Viganò, Marco Volpe Pages 33-69
    Look Inside Get Access

  5. No Access

    OriginalPaper

    Modal Extensions of Sub-classical Logics for Recovering Classical Logic

    Marcelo E. Coniglio, Newton M. Peron Pages 71-86
    Look Inside Get Access

  6. No Access

    OriginalPaper

    Axiomatising the Prior Future in Predicate Logic

    Max Cresswell Pages 87-101
    Look Inside Get Access

  7. No Access

    OriginalPaper

    A Short Note on Essentially Σ1 Sentences

    Franco Montagna, Duccio Pianigiani Pages 103-111
    Look Inside Get Access

  8. No Access

    OriginalPaper

    Relative Contingency and Bimodality

    Claudio Pizzi Pages 113-123
    Look Inside Get Access