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

Carlos Caleiro, Luca ViganĂ², Marco Volpe. On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. Logica Universalis, 7(1):33-69, 2013. [doi]

Abstract

Abstract is missing.