Author:
Neves Renato,Martins Manuel A.,Barbosa Luís S.
Publisher
Springer International Publishing
Reference16 articles.
1. Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logics. Elsevier (2006)
2. Baltazar, P.: Probabilization of logics: Completeness and decidability. Logica Universalis 7(4), 403–440 (2013)
3. Braüner, T.: Proof-Theory of Propositional Hybrid Logic. Hybrid Logic and its Proof-Theory (2011)
4. Lecture Notes in Computer Science;C Caleiro,1999
5. Diaconescu, R.: Institution-independent Model Theory. Birkhäuser, Basel (2008)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献