Combination of Logics Swiss National Science
Foundation |
![]() |
|||||
|
||||||
References: C. Caleiro, C. Sernadas, and A. Sernadas. Mechanisms for combining logics. Research report, Department of Mathematics, Instituto Superior Técnico, Lisboa, Portugal, (1999). D.Gabbay, A.Kurucz, F.Wolter and M.Zakharyaschev.
Many-dimensional modal logics - Theory and applications. (Studies in
Logic and the Foundations of Mathematics. (148), Elsevier.
(2003)
|
||||||