Volume 7, Issue 1

March 2013

Special Issue on Multimodal Logics

Issue Editors:

8 articles in this issue

Special Issue on Multimodal Logics: A Preface
Walter Carnielli
Claudio Pizzi
OriginalPaper 15 December 2012 Pages: 1 - 5
Quantified Multimodal Logics in Simple Type Theory
Christoph Benzmüller
Lawrence C. Paulson
OriginalPaper 27 May 2012 Pages: 7 - 20
Multimodal Incompleteness Under Weak Negations
Juliana Bueno-Soler
OriginalPaper 23 December 2012 Pages: 21 - 31
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
Carlos Caleiro
Luca Viganò
Marco Volpe
OriginalPaper 25 December 2012 Pages: 33 - 69
Modal Extensions of Sub-classical Logics for Recovering Classical Logic
Marcelo E. Coniglio
Newton M. Peron
OriginalPaper 01 February 2013 Pages: 71 - 86
Axiomatising the Prior Future in Predicate Logic
Max Cresswell
OriginalPaper 07 December 2012 Pages: 87 - 101
A Short Note on Essentially Σ₁ Sentences
Franco Montagna
Duccio Pianigiani
OriginalPaper 11 October 2012 Pages: 103 - 111
Relative Contingency and Bimodality
Claudio Pizzi
OriginalPaper 18 January 2013 Pages: 113 - 123

Search