Author:
Areces Carlos,Gorín Daniel
Subject
Applied Mathematics,Logic
Reference21 articles.
1. C. Areces, B. ten Cate, Hybrid logics, in: P. Blackburn, et al., [5] pp. 821–868.
2. Expressive power and decidability for memory logics;Areces,2008
3. M. Baaz, U. Egly, A. Leitsch, Normal form transformations, in: J. Robinson and A. Voronkov [18], pp. 273–333.
4. Modal Logic;Blackburn,2001
5. Handbook of Modal Logics,2006
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SYMMETRIES IN MODAL LOGICS;The Bulletin of Symbolic Logic;2015-12
2. Relation-changing modal operators: Fig. 1.;Logic Journal of IGPL;2015-04-19
3. Symmetries in Modal Logics;Electronic Proceedings in Theoretical Computer Science;2013-03-28
4. On Characterization, Definability and ω-Saturated Models;Theoretical Aspects of Computing – ICTAC 2011;2011